From a7202d313f1fe37d1c40ee3babb13daf0ab2eb5d Mon Sep 17 00:00:00 2001
From: Tom French <tom@tomfren.ch>
Date: Thu, 31 Oct 2024 18:11:07 +0000
Subject: [PATCH] chore: create a regression test for #6420

---
 compiler/noirc_frontend/src/tests/traits.rs | 49 +++++++++++++++++++++
 1 file changed, 49 insertions(+)

diff --git a/compiler/noirc_frontend/src/tests/traits.rs b/compiler/noirc_frontend/src/tests/traits.rs
index 2b5d6c1c8eb..66f9fb5edf1 100644
--- a/compiler/noirc_frontend/src/tests/traits.rs
+++ b/compiler/noirc_frontend/src/tests/traits.rs
@@ -340,3 +340,52 @@ fn removes_assumed_parent_traits_after_function_ends() {
     "#;
     assert_no_errors(src);
 }
+
+#[test]
+fn trait_bounds_which_are_dependent_on_generic_types_are_resolved_correctly() {
+    let src = r#"
+        trait Foo {
+            fn foo() -> Field;
+        }
+
+        trait Bar<T>: Foo {
+            fn bar(self) -> Field {
+                self.foo()
+            }
+        }
+
+        struct MyStruct<T> {
+            inner: Field,
+        }
+
+        trait MarkerTrait {}
+        impl MarkerTrait for Field {}
+
+        // `MyStruct<T>` implements `Foo` only when its generic type `T` implements `MarkerTrait`.
+        impl<T> Foo for MyStruct<T>
+        where
+            T: MarkerTrait,
+        {
+            fn foo() -> Field {
+                42
+            }
+        }
+
+        // We expect this to succeed as `MyStruct<T>` satisfies `Bar`'s trait bounds
+        // of implementing `Foo` when `T` implements `MarkerTrait`.
+        impl<T> Bar<T> for MyStruct<T>
+        where
+            T: MarkerTrait,
+        {
+            fn bar(self) -> Field {
+                31415
+            }
+        }
+
+        fn main() {
+            let foo: MyStruct<Field> = MyStruct { inner: 42 };
+            let _ = foo.bar();
+        }
+    "#;
+    assert_no_errors(src);
+}