Skip to content

Commit

Permalink
Inline UnifyKey::index and UnifyKey::from_index
Browse files Browse the repository at this point in the history
  • Loading branch information
tmiasko committed Feb 15, 2022
1 parent 5569757 commit cd37638
Show file tree
Hide file tree
Showing 4 changed files with 12 additions and 0 deletions.
1 change: 1 addition & 0 deletions compiler/rustc_infer/src/infer/type_variable.rs
Expand Up @@ -416,6 +416,7 @@ impl<'tcx> ut::UnifyKey for TyVidEqKey<'tcx> {
fn index(&self) -> u32 {
self.vid.as_u32()
}
#[inline]
fn from_index(i: u32) -> Self {
TyVidEqKey::from(ty::TyVid::from_u32(i))
}
Expand Down
4 changes: 4 additions & 0 deletions compiler/rustc_middle/src/infer/unify_key.rs
Expand Up @@ -32,9 +32,11 @@ impl<'tcx> From<ty::RegionVid> for RegionVidKey<'tcx> {

impl<'tcx> UnifyKey for RegionVidKey<'tcx> {
type Value = UnifiedRegion<'tcx>;
#[inline]
fn index(&self) -> u32 {
self.vid.as_u32()
}
#[inline]
fn from_index(i: u32) -> Self {
RegionVidKey::from(ty::RegionVid::from_u32(i))
}
Expand Down Expand Up @@ -118,9 +120,11 @@ pub struct ConstVarValue<'tcx> {

impl<'tcx> UnifyKey for ty::ConstVid<'tcx> {
type Value = ConstVarValue<'tcx>;
#[inline]
fn index(&self) -> u32 {
self.index
}
#[inline]
fn from_index(i: u32) -> Self {
ty::ConstVid { index: i, phantom: PhantomData }
}
Expand Down
2 changes: 2 additions & 0 deletions compiler/rustc_mir_transform/src/dest_prop.rs
Expand Up @@ -222,9 +222,11 @@ impl From<Local> for UnifyLocal {

impl UnifyKey for UnifyLocal {
type Value = ();
#[inline]
fn index(&self) -> u32 {
self.0.as_u32()
}
#[inline]
fn from_index(u: u32) -> Self {
Self(Local::from_u32(u))
}
Expand Down
5 changes: 5 additions & 0 deletions compiler/rustc_type_ir/src/lib.rs
Expand Up @@ -400,9 +400,11 @@ pub enum InferTy {
/// they carry no values.
impl UnifyKey for TyVid {
type Value = ();
#[inline]
fn index(&self) -> u32 {
self.as_u32()
}
#[inline]
fn from_index(i: u32) -> TyVid {
TyVid::from_u32(i)
}
Expand All @@ -419,6 +421,7 @@ impl UnifyKey for IntVid {
fn index(&self) -> u32 {
self.index
}
#[inline]
fn from_index(i: u32) -> IntVid {
IntVid { index: i }
}
Expand All @@ -431,9 +434,11 @@ impl EqUnifyValue for FloatVarValue {}

impl UnifyKey for FloatVid {
type Value = Option<FloatVarValue>;
#[inline]
fn index(&self) -> u32 {
self.index
}
#[inline]
fn from_index(i: u32) -> FloatVid {
FloatVid { index: i }
}
Expand Down

0 comments on commit cd37638

Please sign in to comment.