Add unit test when we have a composite type of associated const and type

Author: aakoshh

compiler/noirc_frontend/src/tests/traits/trait_associated_items.rs

@@ -591,6 +591,30 @@ fn associated_type_mismatch_with_inheritance() {
     check_errors(src);
 }
 
+#[test]
+fn associated_type_and_constant_composite() {
+    let src = r#"
+    pub trait Foo {
+        type Bar;
+        let Baz: u32;
+        fn foo(x: [Self::Bar; Self::Baz]) -> u32;
+    }
+
+    impl Foo for () {
+        type Bar = ();
+        let Baz: u32 = 0;
+        fn foo(_x: [Self::Bar; Self::Baz]) -> u32 {
+            0
+        }
+    }
+
+    fn main() {
+        let _ = <() as Foo>::foo([(); 0]);
+    }
+    "#;
+    assert_no_errors(src);
+}
+
 #[test]
 fn associated_type_behind_self_as_trait() {
     let src = r#"