yeet

Author: lcnr

compiler/rustc_middle/src/ty/context.rs

@@ -113,7 +113,7 @@ impl<'tcx> Interner for TyCtxt<'tcx> {
     type ExprConst = ty::Expr<'tcx>;
 
     type Region = Region<'tcx>;
-    type RegionParameterDefinition = ty::EarlyParamRegion;
+    type EarlyParamRegion = ty::EarlyParamRegion;
     type BoundRegion = ty::BoundRegion;
     type LateParamRegion = ty::LateParamRegion;
     type InferRegion = ty::RegionVid;

compiler/rustc_type_ir/src/interner.rs

@@ -47,7 +47,7 @@ pub trait Interner: Sized {
 
     // Kinds of regions
     type Region: Clone + DebugWithInfcx<Self> + Hash + Ord;
-    type RegionParameterDefinition: Clone + Debug + Hash + Ord;
+    type EarlyParamRegion: Clone + Debug + Hash + Ord;
     type BoundRegion: Clone + Debug + Hash + Ord;
     type LateParamRegion: Clone + Debug + Hash + Ord;
     type InferRegion: Clone + DebugWithInfcx<Self> + Hash + Ord;

compiler/rustc_type_ir/src/region_kind.rs

@@ -131,7 +131,7 @@ pub enum RegionKind<I: Interner> {
     /// regions get eagerly replaced with `ReLateParam` which behaves in the same way as
     /// `ReEarlyParam`. Region parameters are also sometimes implicit,
     /// e.g. in `impl Trait for &()`.
-    ReEarlyParam(I::RegionParameterDefinition),
+    ReEarlyParam(I::EarlyParamRegion),
 
     /// A higher-ranked region. These represent either late-bound function parameters
     /// or bound variables from a `for<'a>`-binder.
@@ -192,7 +192,7 @@ const fn regionkind_discriminant<I: Interner>(value: &RegionKind<I>) -> usize {
 // This is manually implemented because a derive would require `I: Copy`
 impl<I: Interner> Copy for RegionKind<I>
 where
-    I::RegionParameterDefinition: Copy,
+    I::EarlyParamRegion: Copy,
     I::BoundRegion: Copy,
     I::LateParamRegion: Copy,
     I::InferRegion: Copy,
@@ -264,7 +264,7 @@ impl<I: Interner> fmt::Debug for RegionKind<I> {
 // This is not a derived impl because a derive would require `I: HashStable`
 impl<CTX: HashStableContext, I: Interner> HashStable<CTX> for RegionKind<I>
 where
-    I::RegionParameterDefinition: HashStable<CTX>,
+    I::EarlyParamRegion: HashStable<CTX>,
     I::BoundRegion: HashStable<CTX>,
     I::LateParamRegion: HashStable<CTX>,
     I::InferRegion: HashStable<CTX>,