chore: add regression tests for #6314

compiler/noirc_frontend/src/tests/traits.rs

@@ -263,6 +263,56 @@ fn errors_if_impl_trait_constraint_is_not_satisfied() {
 }
 
 #[test]
+fn regression_6314_single() {
+    let src = r#"
+        trait Foo {
+            fn foo(self) -> Self;
+        }
+
+        trait Baz: Foo {}
+
+        impl<T> Baz for T where T: Foo {}
+
+        fn main() { }
+    "#;
+    assert_no_errors(src);
+}
+
+#[test]
+fn regression_6314_double() {
+    let src = r#"
+        trait Foo {
+            fn foo(self) -> Self;
+        }
+
+        trait Bar {
+            fn bar(self) -> Self;
+        }
+
+        trait Baz: Foo + Bar {}
+
+        impl<T> Baz for T where T: Foo + Bar {}
+
+        fn baz<T>(x: T) -> T where T: Baz {
+            x.foo().bar()
+        }
+
+        impl Foo for Field {
+            fn foo(self) -> Self {
+                self + 1
+            }
+        }
+
+        impl Bar for Field {
+            fn bar(self) -> Self {
+                self + 2
+            }
+        }
+
+        fn main() {
+            assert(0.foo().bar() == baz(0));
+        }
+
 fn removes_assumed_parent_traits_after_function_ends() {
     let src = r#"
     trait Foo {}