bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

remove InferCtxt::clear_caches

Browse source
This commit is contained in:
Lukas Markeffsky 2024-04-20 16:43:00 +02:00
parent 88b10c1162
commit f9ba863c4d
2 changed files with 0 additions and 12 deletions
Download patch file Download diff file Expand all files Collapse all files

9
compiler/rustc_infer/src/infer/mod.rs
View file

@ -1521,15 +1521,6 @@ impl<'tcx> InferCtxt<'tcx> {
closure_kind_ty.to_opt_closure_kind() closure_kind_ty.to_opt_closure_kind()
} }
/// Clears the selection, evaluation, and projection caches. This is useful when
/// repeatedly attempting to select an `Obligation` while changing only
/// its `ParamEnv`, since `FulfillmentContext` doesn't use probing.
pub fn clear_caches(&self) {
self.selection_cache.clear();
self.evaluation_cache.clear();
self.inner.borrow_mut().projection_cache().clear();
}
pub fn universe(&self) -> ty::UniverseIndex { pub fn universe(&self) -> ty::UniverseIndex {
self.universe.get() self.universe.get()
} }

3
compiler/rustc_trait_selection/src/traits/auto_trait.rs
View file

@ -152,7 +152,6 @@ impl<'tcx> AutoTraitFinder<'tcx> {
with {:?}", with {:?}",
trait_ref, full_env trait_ref, full_env
); );
infcx.clear_caches();
// At this point, we already have all of the bounds we need. FulfillmentContext is used // At this point, we already have all of the bounds we need. FulfillmentContext is used
// to store all of the necessary region/lifetime bounds in the InferContext, as well as // to store all of the necessary region/lifetime bounds in the InferContext, as well as
@ -255,8 +254,6 @@ impl<'tcx> AutoTraitFinder<'tcx> {
let dummy_cause = ObligationCause::dummy(); let dummy_cause = ObligationCause::dummy();
while let Some(pred) = predicates.pop_front() { while let Some(pred) = predicates.pop_front() {
infcx.clear_caches();
if !already_visited.insert(pred) { if !already_visited.insert(pred) {
continue; continue;
} }