bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

sync (try_)instantiate_mir_and_normalize_erasing_regions implementation

Browse source 
try_instantiate_mir_and_normalize_erasing_regions was changed in dbc2cc8717, but not instantiate_mir_and_normalize_erasing_regions
This commit is contained in:
klensy 2024-03-07 17:33:08 +03:00
parent 80399064af
commit cd549aeffd
1 changed files with 4 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

6
compiler/rustc_middle/src/ty/instance.rs
View file

@ -694,6 +694,7 @@ impl<'tcx> Instance<'tcx> {
} }
#[inline(always)] #[inline(always)]
// Keep me in sync with try_instantiate_mir_and_normalize_erasing_regions
pub fn instantiate_mir_and_normalize_erasing_regions<T>( pub fn instantiate_mir_and_normalize_erasing_regions<T>(
&self, &self,
tcx: TyCtxt<'tcx>, tcx: TyCtxt<'tcx>,
@ -701,16 +702,17 @@ impl<'tcx> Instance<'tcx> {
v: EarlyBinder<T>, v: EarlyBinder<T>,
) -> T ) -> T
where where
T: TypeFoldable<TyCtxt<'tcx>> + Clone, T: TypeFoldable<TyCtxt<'tcx>>,
{ {
if let Some(args) = self.args_for_mir_body() { if let Some(args) = self.args_for_mir_body() {
tcx.instantiate_and_normalize_erasing_regions(args, param_env, v) tcx.instantiate_and_normalize_erasing_regions(args, param_env, v)
} else { } else {
tcx.normalize_erasing_regions(param_env, v.skip_binder()) tcx.normalize_erasing_regions(param_env, v.instantiate_identity())
} }
} }
#[inline(always)] #[inline(always)]
// Keep me in sync with instantiate_mir_and_normalize_erasing_regions
pub fn try_instantiate_mir_and_normalize_erasing_regions<T>( pub fn try_instantiate_mir_and_normalize_erasing_regions<T>(
&self, &self,
tcx: TyCtxt<'tcx>, tcx: TyCtxt<'tcx>,