diff options
| author | Michael Goulet <michael@errs.io> | 2025-01-08 17:31:40 +0000 |
|---|---|---|
| committer | lcnr <rust@lcnr.de> | 2025-01-09 13:55:40 +0100 |
| commit | 39daadc76ebdb97e0acf242791be129ae1003e16 (patch) | |
| tree | 1418e9ef2251a2f9c09dc3c25851cacf099f1d6b /compiler/rustc_middle/src | |
| parent | b6b8361bce8561fb8786ad33ca1abfdf4bc487b6 (diff) | |
Account for identity substituted items in symbol mangling
Diffstat (limited to 'compiler/rustc_middle/src')
| -rw-r--r-- | compiler/rustc_middle/src/ty/normalize_erasing_regions.rs | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/compiler/rustc_middle/src/ty/normalize_erasing_regions.rs b/compiler/rustc_middle/src/ty/normalize_erasing_regions.rs index f611b69905c..e86e01451fe 100644 --- a/compiler/rustc_middle/src/ty/normalize_erasing_regions.rs +++ b/compiler/rustc_middle/src/ty/normalize_erasing_regions.rs @@ -165,10 +165,14 @@ impl<'tcx> NormalizeAfterErasingRegionsFolder<'tcx> { arg: ty::GenericArg<'tcx>, ) -> ty::GenericArg<'tcx> { let arg = self.typing_env.as_query_input(arg); - self.tcx.try_normalize_generic_arg_after_erasing_regions(arg).unwrap_or_else(|_| bug!( - "Failed to normalize {:?}, maybe try to call `try_normalize_erasing_regions` instead", - arg.value - )) + self.tcx.try_normalize_generic_arg_after_erasing_regions(arg).unwrap_or_else(|_| { + bug!( + "Failed to normalize {:?} in typing_env={:?}, \ + maybe try to call `try_normalize_erasing_regions` instead", + arg.value, + self.typing_env, + ) + }) } } |
