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;

}

Required Associated Types§

Implementors§