Add assertion

BoxyUwU · lcnr · commit 8cde544b7378 · 2025-09-09T14:49:16.000+02:00
diff --git a/compiler/rustc_symbol_mangling/src/v0.rs b/compiler/rustc_symbol_mangling/src/v0.rs
@@ -342,7 +342,7 @@ impl<'tcx> Printer<'tcx> for V0SymbolMangler<'tcx> {
             )
         } else {
             assert!(
-                !args.has_non_region_param(),
+                !args.has_non_region_param() && !args.has_free_regions(),
                 "should not be mangling partially substituted \
                 polymorphic instance: {impl_def_id:?} {args:?}"
             );

Original file line number	Diff line number	Diff line change
`@@ -342,7 +342,7 @@ impl<'tcx> Printer<'tcx> for V0SymbolMangler<'tcx> {`
`342`	`342`	`)`
`343`	`343`	`} else {`
`344`	`344`	`assert!(`
`345`		`- !args.has_non_region_param(),`
	`345`	`+ !args.has_non_region_param() && !args.has_free_regions(),`
`346`	`346`	`"should not be mangling partially substituted \`
`347`	`347`	`polymorphic instance: {impl_def_id:?} {args:?}"`
`348`	`348`	`);`