From d471202631fd097101bfa12fbc9680d2b4a93093 Mon Sep 17 00:00:00 2001
From: khyperia <953151+khyperia@users.noreply.github.com>
Date: Fri, 28 Aug 2026 06:41:43 +0200
Subject: [PATCH] fix ICE in generic_const_parameter_types with inherents

---
 .../src/normalize_projection_ty.rs            | 12 ----------
 .../inherent-type-const.rs                    | 22 +++++++++++++++++++
 2 files changed, 22 insertions(+), 12 deletions(-)
 create mode 100644 tests/ui/const-generics/generic_const_parameter_types/inherent-type-const.rs

diff --git a/compiler/rustc_traits/src/normalize_projection_ty.rs b/compiler/rustc_traits/src/normalize_projection_ty.rs
index 3710d41dba0d9..03dff745210d6 100644
--- a/compiler/rustc_traits/src/normalize_projection_ty.rs
+++ b/compiler/rustc_traits/src/normalize_projection_ty.rs
@@ -59,12 +59,6 @@ fn normalize_canonicalized_projection<'tcx>(
                 0,
                 &mut obligations,
             );
-            obligations.extend(const_arg_has_type_obligation(
-                tcx,
-                param_env,
-                normalized_term,
-                goal,
-            ));
             ocx.register_obligations(obligations);
             // #112047: With projections and opaques, we are able to create opaques that
             // are recursive (given some generic parameters of the opaque's type variables).
@@ -147,12 +141,6 @@ fn normalize_canonicalized_inherent_projection<'tcx>(
                 0,
                 &mut obligations,
             );
-            obligations.extend(const_arg_has_type_obligation(
-                tcx,
-                param_env,
-                normalized_term,
-                goal,
-            ));
             ocx.register_obligations(obligations);
 
             Ok(NormalizationResult { normalized_term })
diff --git a/tests/ui/const-generics/generic_const_parameter_types/inherent-type-const.rs b/tests/ui/const-generics/generic_const_parameter_types/inherent-type-const.rs
new file mode 100644
index 0000000000000..86eab5ec70eb2
--- /dev/null
+++ b/tests/ui/const-generics/generic_const_parameter_types/inherent-type-const.rs
@@ -0,0 +1,22 @@
+//@ check-pass
+#![feature(
+    min_generic_const_args,
+    generic_const_parameter_types,
+    inherent_associated_types,
+    min_adt_const_params,
+    const_param_ty_trait
+)]
+
+struct ThreeTypes<T1, T2, T3>(T1, T2, T3);
+
+impl<T1, T2, T3: std::marker::ConstParamTy_> ThreeTypes<T1, T2, T3> {
+    type const INHERENT: [T3; 0] = [];
+}
+
+struct Struct<const O: [u32; 0]>;
+
+fn f() -> Struct<{ core::direct_const_arg!(ThreeTypes::<u8, u16, u32>::INHERENT) }> {
+    Struct
+}
+
+fn main() {}