Skip to content

Commit 3e35f31

Browse files
rename RegionVariableOrigin::MiscVariable to RegionVariableOrigin::Misc
1 parent 8b89d80 commit 3e35f31

File tree

13 files changed

+19
-26
lines changed

13 files changed

+19
-26
lines changed

compiler/rustc_borrowck/src/type_check/input_output.rs

Lines changed: 3 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -66,10 +66,9 @@ impl<'a, 'tcx> TypeChecker<'a, 'tcx> {
6666
Ty::new_tup(self.tcx(), user_provided_sig.inputs()),
6767
args.tupled_upvars_ty(),
6868
args.coroutine_captures_by_ref_ty(),
69-
self.infcx
70-
.next_region_var(RegionVariableOrigin::MiscVariable(self.body.span), || {
71-
RegionCtxt::Unknown
72-
}),
69+
self.infcx.next_region_var(RegionVariableOrigin::Misc(self.body.span), || {
70+
RegionCtxt::Unknown
71+
}),
7372
);
7473

7574
let next_ty_var = || self.infcx.next_ty_var(self.body.span);

compiler/rustc_hir_analysis/src/check/check.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -339,7 +339,7 @@ fn check_opaque_meets_bounds<'tcx>(
339339
// here rather than using ReErased.
340340
let hidden_ty = tcx.type_of(def_id.to_def_id()).instantiate(tcx, args);
341341
let hidden_ty = fold_regions(tcx, hidden_ty, |re, _dbi| match re.kind() {
342-
ty::ReErased => infcx.next_region_var(RegionVariableOrigin::MiscVariable(span)),
342+
ty::ReErased => infcx.next_region_var(RegionVariableOrigin::Misc(span)),
343343
_ => re,
344344
});
345345

compiler/rustc_hir_typeck/src/check.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -58,7 +58,7 @@ pub(super) fn check_fn<'a, 'tcx>(
5858
let maybe_va_list = fn_sig.c_variadic.then(|| {
5959
let span = body.params.last().unwrap().span;
6060
let va_list_did = tcx.require_lang_item(LangItem::VaList, span);
61-
let region = fcx.next_region_var(RegionVariableOrigin::MiscVariable(span));
61+
let region = fcx.next_region_var(RegionVariableOrigin::Misc(span));
6262

6363
tcx.type_of(va_list_did).instantiate(tcx, &[region.into()])
6464
});

compiler/rustc_hir_typeck/src/fn_ctxt/mod.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -243,7 +243,7 @@ impl<'tcx> HirTyLowerer<'tcx> for FnCtxt<'_, 'tcx> {
243243
RegionInferReason::Param(def) => {
244244
RegionVariableOrigin::RegionParameterDefinition(span, def.name)
245245
}
246-
_ => RegionVariableOrigin::MiscVariable(span),
246+
_ => RegionVariableOrigin::Misc(span),
247247
};
248248
self.next_region_var(v)
249249
}

compiler/rustc_hir_typeck/src/method/suggest.rs

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -2350,9 +2350,9 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
23502350
if !arg.is_suggestable(self.tcx, true) {
23512351
has_unsuggestable_args = true;
23522352
match arg.kind() {
2353-
GenericArgKind::Lifetime(_) => self
2354-
.next_region_var(RegionVariableOrigin::MiscVariable(DUMMY_SP))
2355-
.into(),
2353+
GenericArgKind::Lifetime(_) => {
2354+
self.next_region_var(RegionVariableOrigin::Misc(DUMMY_SP)).into()
2355+
}
23562356
GenericArgKind::Type(_) => self.next_ty_var(DUMMY_SP).into(),
23572357
GenericArgKind::Const(_) => self.next_const_var(DUMMY_SP).into(),
23582358
}

compiler/rustc_infer/src/infer/canonical/mod.rs

Lines changed: 1 addition & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -128,10 +128,7 @@ impl<'tcx> InferCtxt<'tcx> {
128128
}
129129

130130
CanonicalVarKind::Region(ui) => self
131-
.next_region_var_in_universe(
132-
RegionVariableOrigin::MiscVariable(span),
133-
universe_map(ui),
134-
)
131+
.next_region_var_in_universe(RegionVariableOrigin::Misc(span), universe_map(ui))
135132
.into(),
136133

137134
CanonicalVarKind::PlaceholderRegion(ty::PlaceholderRegion { universe, bound }) => {

compiler/rustc_infer/src/infer/context.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -141,7 +141,7 @@ impl<'tcx> rustc_type_ir::InferCtxtLike for InferCtxt<'tcx> {
141141
}
142142

143143
fn next_region_infer(&self) -> ty::Region<'tcx> {
144-
self.next_region_var(RegionVariableOrigin::MiscVariable(DUMMY_SP))
144+
self.next_region_var(RegionVariableOrigin::Misc(DUMMY_SP))
145145
}
146146

147147
fn next_ty_infer(&self) -> Ty<'tcx> {

compiler/rustc_infer/src/infer/mod.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1526,7 +1526,7 @@ impl<'tcx> SubregionOrigin<'tcx> {
15261526
impl RegionVariableOrigin {
15271527
pub fn span(&self) -> Span {
15281528
match *self {
1529-
RegionVariableOrigin::MiscVariable(a)
1529+
RegionVariableOrigin::Misc(a)
15301530
| RegionVariableOrigin::PatternRegion(a)
15311531
| RegionVariableOrigin::BorrowRegion(a)
15321532
| RegionVariableOrigin::Autoref(a)

compiler/rustc_infer/src/infer/opaque_types/mod.rs

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -262,9 +262,7 @@ impl<'tcx> InferCtxt<'tcx> {
262262
.type_of_opaque_hir_typeck(opaque_type_key.def_id)
263263
.instantiate(self.tcx, opaque_type_key.args);
264264
let actual = ty::fold_regions(tcx, actual, |re, _dbi| match re.kind() {
265-
ty::ReErased => {
266-
self.next_region_var(RegionVariableOrigin::MiscVariable(span))
267-
}
265+
ty::ReErased => self.next_region_var(RegionVariableOrigin::Misc(span)),
268266
_ => re,
269267
});
270268
actual

compiler/rustc_infer/src/infer/region_constraints/mod.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -580,7 +580,7 @@ impl<'tcx> RegionConstraintCollector<'_, 'tcx> {
580580
let a_universe = self.universe(a);
581581
let b_universe = self.universe(b);
582582
let c_universe = cmp::max(a_universe, b_universe);
583-
let c = self.new_region_var(c_universe, RegionVariableOrigin::MiscVariable(origin.span()));
583+
let c = self.new_region_var(c_universe, RegionVariableOrigin::Misc(origin.span()));
584584
self.combine_map(t).insert(vars, c);
585585
self.undo_log.push(AddCombination(t, vars));
586586
let new_r = ty::Region::new_var(tcx, c);

compiler/rustc_infer/src/infer/relate/generalize.rs

Lines changed: 3 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -603,10 +603,9 @@ impl<'tcx> TypeRelation<TyCtxt<'tcx>> for Generalizer<'_, 'tcx> {
603603
}
604604
}
605605

606-
Ok(self.infcx.next_region_var_in_universe(
607-
RegionVariableOrigin::MiscVariable(self.span),
608-
self.for_universe,
609-
))
606+
Ok(self
607+
.infcx
608+
.next_region_var_in_universe(RegionVariableOrigin::Misc(self.span), self.for_universe))
610609
}
611610

612611
#[instrument(level = "debug", skip(self, c2), ret)]

compiler/rustc_trait_selection/src/error_reporting/infer/region.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1015,7 +1015,7 @@ impl<'a, 'tcx> TypeErrCtxt<'a, 'tcx> {
10151015
s
10161016
};
10171017
let var_description = match var_origin {
1018-
RegionVariableOrigin::MiscVariable(_) => String::new(),
1018+
RegionVariableOrigin::Misc(_) => String::new(),
10191019
RegionVariableOrigin::PatternRegion(_) => " for pattern".to_string(),
10201020
RegionVariableOrigin::BorrowRegion(_) => " for borrow expression".to_string(),
10211021
RegionVariableOrigin::Autoref(_) => " for autoref".to_string(),

compiler/rustc_trait_selection/src/solve/delegate.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -154,7 +154,7 @@ impl<'tcx> rustc_next_trait_solver::delegate::SolverDelegate for SolverDelegate<
154154
) -> ty::GenericArg<'tcx> {
155155
match arg.kind() {
156156
ty::GenericArgKind::Lifetime(_) => {
157-
self.next_region_var(RegionVariableOrigin::MiscVariable(span)).into()
157+
self.next_region_var(RegionVariableOrigin::Misc(span)).into()
158158
}
159159
ty::GenericArgKind::Type(_) => self.next_ty_var(span).into(),
160160
ty::GenericArgKind::Const(_) => self.next_const_var(span).into(),

0 commit comments

Comments
 (0)