Remove allows_infer now that every use of it is delegated to HirTyLowerer

This commit is contained in:
Oli Scherer 2024-05-31 13:42:13 +00:00
parent 6a2e15a6f0
commit 78706740d5
3 changed files with 0 additions and 11 deletions

View file

@ -374,10 +374,6 @@ impl<'tcx> HirTyLowerer<'tcx> for ItemCtxt<'tcx> {
self.item_def_id self.item_def_id
} }
fn allow_infer(&self) -> bool {
false
}
fn re_infer( fn re_infer(
&self, &self,
_: Option<&ty::GenericParamDef>, _: Option<&ty::GenericParamDef>,

View file

@ -90,9 +90,6 @@ pub trait HirTyLowerer<'tcx> {
/// Returns the [`LocalDefId`] of the overarching item whose constituents get lowered. /// Returns the [`LocalDefId`] of the overarching item whose constituents get lowered.
fn item_def_id(&self) -> LocalDefId; fn item_def_id(&self) -> LocalDefId;
/// Returns `true` if the current context allows the use of inference variables.
fn allow_infer(&self) -> bool;
/// Returns the region to use when a lifetime is omitted (and not elided). /// Returns the region to use when a lifetime is omitted (and not elided).
/// ///
/// The `object_lifetime_default` argument states whether this lifetime is from a reference. /// The `object_lifetime_default` argument states whether this lifetime is from a reference.

View file

@ -222,10 +222,6 @@ impl<'a, 'tcx> HirTyLowerer<'tcx> for FnCtxt<'a, 'tcx> {
self.body_id self.body_id
} }
fn allow_infer(&self) -> bool {
true
}
fn re_infer( fn re_infer(
&self, &self,
def: Option<&ty::GenericParamDef>, def: Option<&ty::GenericParamDef>,