chore: add regression test for #3051 (#4815)

# Description

## Problem\*

Resolves #3051

## Summary\*

This issue has been fixed and so I'm added a regression test.

## Additional Context



## Documentation\*

Check one:
- [x] No documentation needed.
- [ ] Documentation included in this PR.
- [ ] **[For Experimental Features]** Documentation to be submitted in a
separate PR.

# PR Checklist\*

- [x] I have tested the changes locally.
- [x] I have formatted the changes with [Prettier](https://prettier.io/)
and/or `cargo fmt` on default settings.

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]

test_programs/execution_success/regression_3051/src/main.nr

@@ -0,0 +1,24 @@
+trait Foo {
+    fn foo(self) -> Field;
+}
+
+impl Foo for Field {
+    fn foo(self) -> Field {
+        self + 1
+    }
+}
+
+trait Bar {
+    fn bar(self) -> u64;
+}
+
+impl Bar for u64 {
+    fn bar(self) -> u64 {
+        self + 1
+    }
+}
+
+fn main() {
+    dep::std::println(1.foo());
+    dep::std::println(1.bar());
+}