fix: handle short-syntax for trait constraints on trait generics

compiler/noirc_frontend/src/hir/def_collector/dc_mod.rs

@@ -449,6 +449,11 @@ impl ModCollector<'_> {
             let has_allow_dead_code =
                 trait_definition.attributes.iter().any(|attr| attr.kind.is_allow("dead_code"));
 
+            desugar_generic_trait_bounds(
+                &mut trait_definition.generics,
+                &mut trait_definition.where_clause,
+            );
+
             // Create the corresponding module for the trait namespace
             let trait_id = match self.push_child_module(
                 context,

compiler/noirc_frontend/src/tests/traits.rs

@@ -1767,6 +1767,27 @@ fn as_trait_path_called_multiple_times_for_different_t_2() {
     check_monomorphization_error!(src);
 }
 
+#[named]
+#[test]
+fn short_syntax_for_trait_constraint_on_trait_generic() {
+    let src = r#"
+    pub trait Other {
+        fn other(self) {
+            let _ = self;
+        }
+    }
+
+    pub trait Trait<T: Other> {
+        fn foo(x: T) {
+            x.other();
+        }
+    }
+
+    fn main() {}
+    "#;
+    check_monomorphization_error!(src);
+}
+
 #[named]
 #[test]
 fn ambiguous_associated_type() {

test_programs/compile_success_no_bug/noirc_frontend_tests_traits_short_syntax_for_trait_constraint_on_trait_generic/Nargo.toml

@@ -0,0 +1,7 @@
+
+            [package]
+            name = "noirc_frontend_tests_traits_short_syntax_for_trait_constraint_on_trait_generic"
+            type = "bin"
+            authors = [""]
+
+            [dependencies]

test_programs/compile_success_no_bug/noirc_frontend_tests_traits_short_syntax_for_trait_constraint_on_trait_generic/src/main.nr

@@ -0,0 +1,15 @@
+
+    pub trait Other {
+        fn other(self) {
+            let _ = self;
+        }
+    }
+
+    pub trait Trait<T: Other> {
+        fn foo(x: T) {
+            x.other();
+        }
+    }
+
+    fn main() {}
+

test_programs/compile_success_no_bug/noirc_frontend_tests_traits_short_syntax_for_trait_constraint_on_trait_generic/src_hash.txt

@@ -0,0 +1 @@
+12397208803698849218