mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Use Vec in instantiate_binder_with_fresh_vars

Browse Source
This commit is contained in:
Bryanskiy 2024-07-29 14:03:20 +03:00
parent 80d8270d84
commit 8a5efd1456
1 changed files with 22 additions and 24 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

46
compiler/rustc_infer/src/infer/mod.rs
View File

@ -13,7 +13,7 @@
pub use relate::combine::{CombineFields, PredicateEmittingRelation}; pub use relate::combine::{CombineFields, PredicateEmittingRelation};
pub use relate::StructurallyRelateAliases; pub use relate::StructurallyRelateAliases;
use rustc_data_structures::captures::Captures; use rustc_data_structures::captures::Captures;
use rustc_data_structures::fx::{FxHashMap, FxHashSet, FxIndexMap}; use rustc_data_structures::fx::{FxHashSet, FxIndexMap};
use rustc_data_structures::sync::Lrc; use rustc_data_structures::sync::Lrc;
use rustc_data_structures::undo_log::Rollback; use rustc_data_structures::undo_log::Rollback;
use rustc_data_structures::unify as ut; use rustc_data_structures::unify as ut;
@ -1318,38 +1318,36 @@ pub fn instantiate_binder_with_fresh_vars<T>(
return inner; return inner;
} }
struct ToFreshVars<'a, 'tcx> { let bound_vars = value.bound_vars();
infcx: &'a InferCtxt<'tcx>, let mut args = Vec::with_capacity(bound_vars.len());
span: Span,
lbrct: BoundRegionConversionTime, for bound_var_kind in bound_vars {
map: FxHashMap<ty::BoundVar, ty::GenericArg<'tcx>>, let arg: ty::GenericArg<'_> = match bound_var_kind {
ty::BoundVariableKind::Ty(_) => self.next_ty_var(span).into(),
ty::BoundVariableKind::Region(br) => {
self.next_region_var(BoundRegion(span, br, lbrct)).into()
}
ty::BoundVariableKind::Const => self.next_const_var(span).into(),
};
args.push(arg);
} }
impl<'tcx> BoundVarReplacerDelegate<'tcx> for ToFreshVars<'_, 'tcx> { struct ToFreshVars<'tcx> {
args: Vec<ty::GenericArg<'tcx>>,
}
impl<'tcx> BoundVarReplacerDelegate<'tcx> for ToFreshVars<'tcx> {
fn replace_region(&mut self, br: ty::BoundRegion) -> ty::Region<'tcx> { fn replace_region(&mut self, br: ty::BoundRegion) -> ty::Region<'tcx> {
self.map self.args[br.var.index()].expect_region()
.entry(br.var)
.or_insert_with(|| {
self.infcx
.next_region_var(BoundRegion(self.span, br.kind, self.lbrct))
.into()
})
.expect_region()
} }
fn replace_ty(&mut self, bt: ty::BoundTy) -> Ty<'tcx> { fn replace_ty(&mut self, bt: ty::BoundTy) -> Ty<'tcx> {
self.map self.args[bt.var.index()].expect_ty()
.entry(bt.var)
.or_insert_with(|| self.infcx.next_ty_var(self.span).into())
.expect_ty()
} }
fn replace_const(&mut self, bv: ty::BoundVar) -> ty::Const<'tcx> { fn replace_const(&mut self, bv: ty::BoundVar) -> ty::Const<'tcx> {
self.map self.args[bv.index()].expect_const()
.entry(bv)
.or_insert_with(|| self.infcx.next_const_var(self.span).into())
.expect_const()
} }
} }
let delegate = ToFreshVars { infcx: self, span, lbrct, map: Default::default() }; let delegate = ToFreshVars { args };
self.tcx.replace_bound_vars_uncached(value, delegate) self.tcx.replace_bound_vars_uncached(value, delegate)
} }