diff --git a/test_programs/execution_success/regression_3051/Nargo.toml b/test_programs/execution_success/regression_3051/Nargo.toml
new file mode 100644
index 00000000000..844f74cdcb3
--- /dev/null
+++ b/test_programs/execution_success/regression_3051/Nargo.toml
@@ -0,0 +1,7 @@
+[package]
+name = "regression_3051"
+type = "bin"
+authors = [""]
+compiler_version = ">=0.27.0"
+
+[dependencies]
diff --git a/test_programs/execution_success/regression_3051/src/main.nr b/test_programs/execution_success/regression_3051/src/main.nr
new file mode 100644
index 00000000000..a01783d7f26
--- /dev/null
+++ b/test_programs/execution_success/regression_3051/src/main.nr
@@ -0,0 +1,13 @@
+trait Foo {
+    fn foo(self) -> Field;
+}
+
+impl Foo for Field {
+    fn foo(self) -> Field {
+        self + 1
+    }
+}
+
+fn main() {
+    dep::std::println(1.foo());
+}