bjoernager/rust
bjoernager/rust
1
Fork 0
Code Issues Pull requests Activity

Cache flags for ty::Const

Browse source
This commit is contained in:
Michael Goulet 2023-11-22 23:28:28 +00:00
parent 06d1afe518
commit 4ec68576d3
9 changed files with 92 additions and 43 deletions
Download patch file Download diff file Expand all files Collapse all files

12
compiler/rustc_trait_selection/src/traits/query/normalize.rs
View file

@ -160,14 +160,12 @@ impl<'tcx> TypeVisitor<TyCtxt<'tcx>> for MaxEscapingBoundVarVisitor {
}
fn visit_const(&mut self, ct: ty::Const<'tcx>) -> ControlFlow<Self::BreakTy> {
match ct.kind() {
ty::ConstKind::Bound(debruijn, _) if debruijn >= self.outer_index => {
self.escaping =
self.escaping.max(debruijn.as_usize() - self.outer_index.as_usize());
ControlFlow::Continue(())
}
_ => ct.super_visit_with(self),
if ct.outer_exclusive_binder() > self.outer_index {
self.escaping = self
.escaping
.max(ct.outer_exclusive_binder().as_usize() - self.outer_index.as_usize());
}
ControlFlow::Continue(())
}
}