Trait rustc_middle::ty::Interner
source · pub trait Interner {
Show 26 associated items
type AdtDef: Clone + Debug + Hash + PartialEq<Self::AdtDef> + Eq + PartialOrd<Self::AdtDef> + Ord;
type SubstsRef: Clone + Debug + Hash + PartialEq<Self::SubstsRef> + Eq + PartialOrd<Self::SubstsRef> + Ord;
type DefId: Clone + Debug + Hash + PartialEq<Self::DefId> + Eq + PartialOrd<Self::DefId> + Ord;
type Ty: Clone + Debug + Hash + PartialEq<Self::Ty> + Eq + PartialOrd<Self::Ty> + Ord;
type Const: Clone + Debug + Hash + PartialEq<Self::Const> + Eq + PartialOrd<Self::Const> + Ord;
type Region: Clone + Debug + Hash + PartialEq<Self::Region> + Eq + PartialOrd<Self::Region> + Ord;
type TypeAndMut: Clone + Debug + Hash + PartialEq<Self::TypeAndMut> + Eq + PartialOrd<Self::TypeAndMut> + Ord;
type Mutability: Clone + Debug + Hash + PartialEq<Self::Mutability> + Eq + PartialOrd<Self::Mutability> + Ord;
type Movability: Clone + Debug + Hash + PartialEq<Self::Movability> + Eq + PartialOrd<Self::Movability> + Ord;
type PolyFnSig: Clone + Debug + Hash + PartialEq<Self::PolyFnSig> + Eq + PartialOrd<Self::PolyFnSig> + Ord;
type ListBinderExistentialPredicate: Clone + Debug + Hash + PartialEq<Self::ListBinderExistentialPredicate> + Eq + PartialOrd<Self::ListBinderExistentialPredicate> + Ord;
type BinderListTy: Clone + Debug + Hash + PartialEq<Self::BinderListTy> + Eq + PartialOrd<Self::BinderListTy> + Ord;
type ListTy: Clone + Debug + Hash + PartialEq<Self::ListTy> + Eq + PartialOrd<Self::ListTy> + Ord;
type AliasTy: Clone + Debug + Hash + PartialEq<Self::AliasTy> + Eq + PartialOrd<Self::AliasTy> + Ord;
type ParamTy: Clone + Debug + Hash + PartialEq<Self::ParamTy> + Eq + PartialOrd<Self::ParamTy> + Ord;
type BoundTy: Clone + Debug + Hash + PartialEq<Self::BoundTy> + Eq + PartialOrd<Self::BoundTy> + Ord;
type PlaceholderType: Clone + Debug + Hash + PartialEq<Self::PlaceholderType> + Eq + PartialOrd<Self::PlaceholderType> + Ord;
type InferTy: Clone + Debug + Hash + PartialEq<Self::InferTy> + Eq + PartialOrd<Self::InferTy> + Ord;
type ErrorGuaranteed: Clone + Debug + Hash + PartialEq<Self::ErrorGuaranteed> + Eq + PartialOrd<Self::ErrorGuaranteed> + Ord;
type PredicateKind: Clone + Debug + Hash + PartialEq<Self::PredicateKind> + Eq;
type AllocId: Clone + Debug + Hash + PartialEq<Self::AllocId> + Eq + PartialOrd<Self::AllocId> + Ord;
type EarlyBoundRegion: Clone + Debug + Hash + PartialEq<Self::EarlyBoundRegion> + Eq + PartialOrd<Self::EarlyBoundRegion> + Ord;
type BoundRegion: Clone + Debug + Hash + PartialEq<Self::BoundRegion> + Eq + PartialOrd<Self::BoundRegion> + Ord;
type FreeRegion: Clone + Debug + Hash + PartialEq<Self::FreeRegion> + Eq + PartialOrd<Self::FreeRegion> + Ord;
type RegionVid: Clone + Debug + Hash + PartialEq<Self::RegionVid> + Eq + PartialOrd<Self::RegionVid> + Ord;
type PlaceholderRegion: Clone + Debug + Hash + PartialEq<Self::PlaceholderRegion> + Eq + PartialOrd<Self::PlaceholderRegion> + Ord;
}