rename RegionVariableOrigin::MiscVariable to RegionVariableOrigin::Misc

This commit is contained in:
Michael Goulet
2025-06-18 18:00:30 +00:00
parent 44254c8cd7
commit c995070b6a
13 changed files with 20 additions and 27 deletions

View File

@@ -128,10 +128,7 @@ impl<'tcx> InferCtxt<'tcx> {
}
CanonicalVarKind::Region(ui) => self
.next_region_var_in_universe(
RegionVariableOrigin::MiscVariable(span),
universe_map(ui),
)
.next_region_var_in_universe(RegionVariableOrigin::Misc(span), universe_map(ui))
.into(),
CanonicalVarKind::PlaceholderRegion(ty::PlaceholderRegion { universe, bound }) => {

View File

@@ -141,7 +141,7 @@ impl<'tcx> rustc_type_ir::InferCtxtLike for InferCtxt<'tcx> {
}
fn next_region_infer(&self) -> ty::Region<'tcx> {
self.next_region_var(RegionVariableOrigin::MiscVariable(DUMMY_SP))
self.next_region_var(RegionVariableOrigin::Misc(DUMMY_SP))
}
fn next_ty_infer(&self) -> Ty<'tcx> {

View File

@@ -400,7 +400,7 @@ pub enum RegionVariableOrigin {
/// Region variables created for ill-categorized reasons.
///
/// They mostly indicate places in need of refactoring.
MiscVariable(Span),
Misc(Span),
/// Regions created by a `&P` or `[...]` pattern.
PatternRegion(Span),
@@ -1526,7 +1526,7 @@ impl<'tcx> SubregionOrigin<'tcx> {
impl RegionVariableOrigin {
pub fn span(&self) -> Span {
match *self {
RegionVariableOrigin::MiscVariable(a)
RegionVariableOrigin::Misc(a)
| RegionVariableOrigin::PatternRegion(a)
| RegionVariableOrigin::BorrowRegion(a)
| RegionVariableOrigin::Autoref(a)

View File

@@ -262,9 +262,7 @@ impl<'tcx> InferCtxt<'tcx> {
.type_of_opaque_hir_typeck(opaque_type_key.def_id)
.instantiate(self.tcx, opaque_type_key.args);
let actual = ty::fold_regions(tcx, actual, |re, _dbi| match re.kind() {
ty::ReErased => {
self.next_region_var(RegionVariableOrigin::MiscVariable(span))
}
ty::ReErased => self.next_region_var(RegionVariableOrigin::Misc(span)),
_ => re,
});
actual

View File

@@ -580,7 +580,7 @@ impl<'tcx> RegionConstraintCollector<'_, 'tcx> {
let a_universe = self.universe(a);
let b_universe = self.universe(b);
let c_universe = cmp::max(a_universe, b_universe);
let c = self.new_region_var(c_universe, RegionVariableOrigin::MiscVariable(origin.span()));
let c = self.new_region_var(c_universe, RegionVariableOrigin::Misc(origin.span()));
self.combine_map(t).insert(vars, c);
self.undo_log.push(AddCombination(t, vars));
let new_r = ty::Region::new_var(tcx, c);

View File

@@ -603,10 +603,9 @@ impl<'tcx> TypeRelation<TyCtxt<'tcx>> for Generalizer<'_, 'tcx> {
}
}
Ok(self.infcx.next_region_var_in_universe(
RegionVariableOrigin::MiscVariable(self.span),
self.for_universe,
))
Ok(self
.infcx
.next_region_var_in_universe(RegionVariableOrigin::Misc(self.span), self.for_universe))
}
#[instrument(level = "debug", skip(self, c2), ret)]