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 ProjectionTy: Clone + Debug + Hash + PartialEq<Self::ProjectionTy> + Eq + PartialOrd<Self::ProjectionTy> + 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;
}

Required Associated Types§

Implementors§