Trait rustc_middle::ty::Interner

source ·
pub trait Interner: Sized {
Show 30 associated items type AdtDef: Clone + Debug + Hash + Ord; type SubstsRef: Clone + Debug + Hash + Ord; type DefId: Clone + Debug + Hash + Ord; type Binder<T>; type Ty: Clone + Debug + Hash + Ord; type Const: Clone + Debug + Hash + Ord; type Region: Clone + Debug + Hash + Ord; type Predicate; type TypeAndMut: Clone + Debug + Hash + Ord; type Mutability: Clone + Debug + Hash + Ord; type Movability: Clone + Debug + Hash + Ord; type PolyFnSig: Clone + Debug + Hash + Ord; type ListBinderExistentialPredicate: Clone + Debug + Hash + Ord; type BinderListTy: Clone + Debug + Hash + Ord; type ListTy: Clone + Debug + Hash + Ord + IntoIterator<Item = Self::Ty>; type AliasTy: Clone + Debug + Hash + Ord; type ParamTy: Clone + Debug + Hash + Ord; type BoundTy: Clone + Debug + Hash + Ord; type PlaceholderType: Clone + Debug + Hash + Ord; type InferTy: Clone + Debug + Hash + Ord; type ErrorGuaranteed: Clone + Debug + Hash + Ord; type PredicateKind: Clone + Debug + Hash + PartialEq<Self::PredicateKind> + Eq; type AllocId: Clone + Debug + Hash + Ord; type EarlyBoundRegion: Clone + Debug + Hash + Ord; type BoundRegion: Clone + Debug + Hash + Ord; type FreeRegion: Clone + Debug + Hash + Ord; type RegionVid: Clone + Debug + Hash + Ord; type PlaceholderRegion: Clone + Debug + Hash + Ord; // Required methods fn ty_and_mut_to_parts( ty_and_mut: Self::TypeAndMut ) -> (Self::Ty, Self::Mutability); fn mutability_is_mut(mutbl: Self::Mutability) -> bool;
}

Required Associated Types§

Required Methods§

source

fn ty_and_mut_to_parts( ty_and_mut: Self::TypeAndMut ) -> (Self::Ty, Self::Mutability)

source

fn mutability_is_mut(mutbl: Self::Mutability) -> bool

Implementors§