Trait rustc_type_ir::Interner

source · 
pub trait Interner {

Show 26 associated items    type AdtDef: Clone + Debug + Hash + PartialEq + Eq + PartialOrd + Ord;
    type SubstsRef: Clone + Debug + Hash + PartialEq + Eq + PartialOrd + Ord;
    type DefId: Clone + Debug + Hash + PartialEq + Eq + PartialOrd + Ord;
    type Ty: Clone + Debug + Hash + PartialEq + Eq + PartialOrd + Ord;
    type Const: Clone + Debug + Hash + PartialEq + Eq + PartialOrd + Ord;
    type Region: Clone + Debug + Hash + PartialEq + Eq + PartialOrd + Ord;
    type TypeAndMut: Clone + Debug + Hash + PartialEq + Eq + PartialOrd + Ord;
    type Mutability: Clone + Debug + Hash + PartialEq + Eq + PartialOrd + Ord;
    type Movability: Clone + Debug + Hash + PartialEq + Eq + PartialOrd + Ord;
    type PolyFnSig: Clone + Debug + Hash + PartialEq + Eq + PartialOrd + Ord;
    type ListBinderExistentialPredicate: Clone + Debug + Hash + PartialEq + Eq + PartialOrd + Ord;
    type BinderListTy: Clone + Debug + Hash + PartialEq + Eq + PartialOrd + Ord;
    type ListTy: Clone + Debug + Hash + PartialEq + Eq + PartialOrd + Ord;
    type AliasTy: Clone + Debug + Hash + PartialEq + Eq + PartialOrd + Ord;
    type ParamTy: Clone + Debug + Hash + PartialEq + Eq + PartialOrd + Ord;
    type BoundTy: Clone + Debug + Hash + PartialEq + Eq + PartialOrd + Ord;
    type PlaceholderType: Clone + Debug + Hash + PartialEq + Eq + PartialOrd + Ord;
    type InferTy: Clone + Debug + Hash + PartialEq + Eq + PartialOrd + Ord;
    type ErrorGuaranteed: Clone + Debug + Hash + PartialEq + Eq + PartialOrd + Ord;
    type PredicateKind: Clone + Debug + Hash + PartialEq + Eq;
    type AllocId: Clone + Debug + Hash + PartialEq + Eq + PartialOrd + Ord;
    type EarlyBoundRegion: Clone + Debug + Hash + PartialEq + Eq + PartialOrd + Ord;
    type BoundRegion: Clone + Debug + Hash + PartialEq + Eq + PartialOrd + Ord;
    type FreeRegion: Clone + Debug + Hash + PartialEq + Eq + PartialOrd + Ord;
    type RegionVid: Clone + Debug + Hash + PartialEq + Eq + PartialOrd + Ord;
    type PlaceholderRegion: Clone + Debug + Hash + PartialEq + Eq + PartialOrd + Ord;

}

Required Associated Types§

Implementors§