Only allow mcg in TyKind::Path -> const arg fixup

camelid · BoxyUwU · web-flow · commit be298391ce99 · 2025-03-03T23:23:28.000-05:00
Co-authored-by: Boxy &lt;rust@boxyuwu.dev&gt;
diff --git a/compiler/rustc_ast_lowering/src/lib.rs b/compiler/rustc_ast_lowering/src/lib.rs
@@ -1094,8 +1094,7 @@ impl<'a, 'hir> LoweringContext<'a, 'hir> {
                             .and_then(|partial_res| partial_res.full_res())
                         {
                             if !res.matches_ns(Namespace::TypeNS)
-                            // FIXME: should this only allow single-segment paths?
-                                && path.is_potential_trivial_const_arg(self.tcx.features().min_generic_const_args())
+                                && path.is_potential_trivial_const_arg(false)
                             {
                                 debug!(
                                     "lower_generic_arg: Lowering type argument as const argument: {:?}",

Original file line number	Diff line number	Diff line change
`@@ -1094,8 +1094,7 @@ impl<'a, 'hir> LoweringContext<'a, 'hir> {`
`1094`	`1094`	`.and_then(\|partial_res\| partial_res.full_res())`
`1095`	`1095`	`{`
`1096`	`1096`	`if !res.matches_ns(Namespace::TypeNS)`
`1097`		`- // FIXME: should this only allow single-segment paths?`
`1098`		`- && path.is_potential_trivial_const_arg(self.tcx.features().min_generic_const_args())`
	`1097`	`+ && path.is_potential_trivial_const_arg(false)`
`1099`	`1098`	`{`
`1100`	`1099`	`debug!(`
`1101`	`1100`	`"lower_generic_arg: Lowering type argument as const argument: {:?}",`