Add assertion

BoxyUwU · BoxyUwU · commit 300c85e31448 · 2025-08-24T17:53:04.000+01:00
diff --git a/compiler/rustc_symbol_mangling/src/v0.rs b/compiler/rustc_symbol_mangling/src/v0.rs
@@ -338,7 +338,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
`@@ -338,7 +338,7 @@ impl<'tcx> Printer<'tcx> for V0SymbolMangler<'tcx> {`
`338`	`338`	`)`
`339`	`339`	`} else {`
`340`	`340`	`assert!(`
`341`		`- !args.has_non_region_param(),`
	`341`	`+ !args.has_non_region_param() && !args.has_free_regions(),`
`342`	`342`	`"should not be mangling partially substituted \`
`343`	`343`	`polymorphic instance: {impl_def_id:?} {args:?}"`
`344`	`344`	`);`