fix: force_substitute bindings during monomorphization for associated constants

compiler/noirc_frontend/src/monomorphization/mod.rs

@@ -2840,7 +2840,7 @@ pub(crate) fn resolve_trait_item(
                 // We also need to apply any instantiation bindings if the expression has any
                 let instantiation_bindings = interner.try_get_instantiation_bindings(expr_id);
                 let value = if let Some(instantiation_bindings) = instantiation_bindings {
-                    item.typ.substitute(instantiation_bindings)
+                    item.typ.force_substitute(instantiation_bindings)
                 } else {
                     item.typ.clone()
                 };

test_programs/execution_success/regression_10466/Nargo.toml

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

test_programs/execution_success/regression_10466/src/main.nr

@@ -0,0 +1,31 @@
+pub trait Serialize {
+    let N: u32;
+
+    fn serialize(self);
+}
+
+impl Serialize for Field {
+    let N: u32 = 1;
+
+    fn serialize(self) {}
+}
+
+impl<T, let M: u32> Serialize for [T; M]
+where
+    T: Serialize,
+{
+    let N: u32 = <T as Serialize>::N * M;
+
+    fn serialize(self) {
+        std::println(Self::N);
+        std::println(<T as Serialize>::N);
+        std::println(M);
+        assert_eq(<T as Serialize>::N * M, Self::N);
+    }
+}
+
+fn main() {
+    let nested_array = [[1], [2]];
+
+    let _ = nested_array.serialize();
+}

tooling/nargo_cli/build.rs

@@ -168,13 +168,13 @@ const IGNORED_NARGO_EXPAND_EXECUTION_TESTS: [&str; 10] = [
     // bug
     "numeric_type_alias",
     "negative_associated_constants",
-    // bug
-    "regression_9116",
     // There's no "src/main.nr" here so it's trickier to make this work
     "overlapping_dep_and_mod",
     // bug
     "regression_9116",
     // bug
+    "regression_10466",
+    // bug
     "trait_associated_constant",
     // There's no "src/main.nr" here so it's trickier to make this work
     "workspace",