Trait rustc_type_ir::Interner

source ·
pub trait Interner: Sized + Copy {
Show 45 associated items type DefId: Copy + Debug + Hash + Eq; type DefiningOpaqueTypes: Copy + Debug + Hash + Default + Eq + TypeVisitable<Self>; type AdtDef: Copy + Debug + Hash + Eq; type GenericArgs: Copy + DebugWithInfcx<Self> + Hash + Eq + IntoIterator<Item = Self::GenericArg>; type GenericArg: Copy + DebugWithInfcx<Self> + Hash + Eq; type Term: Copy + Debug + Hash + Eq; type Binder<T: TypeVisitable<Self>>: BoundVars<Self> + TypeSuperVisitable<Self>; type BoundVars: IntoIterator<Item = Self::BoundVar>; type BoundVar; type CanonicalVars: Copy + Debug + Hash + Eq + IntoIterator<Item = CanonicalVarInfo<Self>>; type Ty: Copy + DebugWithInfcx<Self> + Hash + Eq + Into<Self::GenericArg> + IntoKind<Kind = TyKind<Self>> + TypeSuperVisitable<Self> + TypeSuperFoldable<Self> + Flags + Ty<Self>; type Tys: Copy + Debug + Hash + Eq + IntoIterator<Item = Self::Ty>; type AliasTy: Copy + DebugWithInfcx<Self> + Hash + Eq; type ParamTy: Copy + Debug + Hash + Eq; type BoundTy: Copy + Debug + Hash + Eq; type PlaceholderTy: Copy + Debug + Hash + Eq + PlaceholderLike; type ErrorGuaranteed: Copy + Debug + Hash + Eq; type BoundExistentialPredicates: Copy + DebugWithInfcx<Self> + Hash + Eq; type PolyFnSig: Copy + DebugWithInfcx<Self> + Hash + Eq; type AllocId: Copy + Debug + Hash + Eq; type Pat: Copy + Debug + Hash + Eq + DebugWithInfcx<Self>; type Const: Copy + DebugWithInfcx<Self> + Hash + Eq + Into<Self::GenericArg> + IntoKind<Kind = ConstKind<Self>> + ConstTy<Self> + TypeSuperVisitable<Self> + TypeSuperFoldable<Self> + Flags + Const<Self>; type AliasConst: Copy + DebugWithInfcx<Self> + Hash + Eq; type PlaceholderConst: Copy + Debug + Hash + Eq + PlaceholderLike; type ParamConst: Copy + Debug + Hash + Eq; type BoundConst: Copy + Debug + Hash + Eq; type ValueConst: Copy + Debug + Hash + Eq; type ExprConst: Copy + DebugWithInfcx<Self> + Hash + Eq; type Region: Copy + DebugWithInfcx<Self> + Hash + Eq + Into<Self::GenericArg> + IntoKind<Kind = RegionKind<Self>> + Flags + Region<Self>; type EarlyParamRegion: Copy + Debug + Hash + Eq; type LateParamRegion: Copy + Debug + Hash + Eq; type BoundRegion: Copy + Debug + Hash + Eq; type InferRegion: Copy + DebugWithInfcx<Self> + Hash + Eq; type PlaceholderRegion: Copy + Debug + Hash + Eq + PlaceholderLike; type Predicate: Copy + Debug + Hash + Eq + TypeSuperVisitable<Self> + TypeSuperFoldable<Self> + Flags; type TraitPredicate: Copy + Debug + Hash + Eq; type RegionOutlivesPredicate: Copy + Debug + Hash + Eq; type TypeOutlivesPredicate: Copy + Debug + Hash + Eq; type ProjectionPredicate: Copy + Debug + Hash + Eq; type NormalizesTo: Copy + Debug + Hash + Eq; type SubtypePredicate: Copy + Debug + Hash + Eq; type CoercePredicate: Copy + Debug + Hash + Eq; type ClosureKind: Copy + Debug + Hash + Eq; type Clauses: Copy + Debug + Hash + Eq + TypeSuperVisitable<Self> + Flags; // Required method fn mk_canonical_var_infos( self, infos: &[CanonicalVarInfo<Self>] ) -> Self::CanonicalVars;
}

Required Associated Types§

source

type DefId: Copy + Debug + Hash + Eq

source

type DefiningOpaqueTypes: Copy + Debug + Hash + Default + Eq + TypeVisitable<Self>

source

type AdtDef: Copy + Debug + Hash + Eq

source

type GenericArgs: Copy + DebugWithInfcx<Self> + Hash + Eq + IntoIterator<Item = Self::GenericArg>

source

type GenericArg: Copy + DebugWithInfcx<Self> + Hash + Eq

source

type Term: Copy + Debug + Hash + Eq

source

type Binder<T: TypeVisitable<Self>>: BoundVars<Self> + TypeSuperVisitable<Self>

source

type BoundVars: IntoIterator<Item = Self::BoundVar>

source

type BoundVar

source

type CanonicalVars: Copy + Debug + Hash + Eq + IntoIterator<Item = CanonicalVarInfo<Self>>

source

type Ty: Copy + DebugWithInfcx<Self> + Hash + Eq + Into<Self::GenericArg> + IntoKind<Kind = TyKind<Self>> + TypeSuperVisitable<Self> + TypeSuperFoldable<Self> + Flags + Ty<Self>

source

type Tys: Copy + Debug + Hash + Eq + IntoIterator<Item = Self::Ty>

source

type AliasTy: Copy + DebugWithInfcx<Self> + Hash + Eq

source

type ParamTy: Copy + Debug + Hash + Eq

source

type BoundTy: Copy + Debug + Hash + Eq

source

type PlaceholderTy: Copy + Debug + Hash + Eq + PlaceholderLike

source

type ErrorGuaranteed: Copy + Debug + Hash + Eq

source

type BoundExistentialPredicates: Copy + DebugWithInfcx<Self> + Hash + Eq

source

type PolyFnSig: Copy + DebugWithInfcx<Self> + Hash + Eq

source

type AllocId: Copy + Debug + Hash + Eq

source

type Pat: Copy + Debug + Hash + Eq + DebugWithInfcx<Self>

source

type Const: Copy + DebugWithInfcx<Self> + Hash + Eq + Into<Self::GenericArg> + IntoKind<Kind = ConstKind<Self>> + ConstTy<Self> + TypeSuperVisitable<Self> + TypeSuperFoldable<Self> + Flags + Const<Self>

source

type AliasConst: Copy + DebugWithInfcx<Self> + Hash + Eq

source

type PlaceholderConst: Copy + Debug + Hash + Eq + PlaceholderLike

source

type ParamConst: Copy + Debug + Hash + Eq

source

type BoundConst: Copy + Debug + Hash + Eq

source

type ValueConst: Copy + Debug + Hash + Eq

source

type ExprConst: Copy + DebugWithInfcx<Self> + Hash + Eq

source

type Region: Copy + DebugWithInfcx<Self> + Hash + Eq + Into<Self::GenericArg> + IntoKind<Kind = RegionKind<Self>> + Flags + Region<Self>

source

type EarlyParamRegion: Copy + Debug + Hash + Eq

source

type LateParamRegion: Copy + Debug + Hash + Eq

source

type BoundRegion: Copy + Debug + Hash + Eq

source

type InferRegion: Copy + DebugWithInfcx<Self> + Hash + Eq

source

type PlaceholderRegion: Copy + Debug + Hash + Eq + PlaceholderLike

source

type Predicate: Copy + Debug + Hash + Eq + TypeSuperVisitable<Self> + TypeSuperFoldable<Self> + Flags

source

type TraitPredicate: Copy + Debug + Hash + Eq

source

type RegionOutlivesPredicate: Copy + Debug + Hash + Eq

source

type TypeOutlivesPredicate: Copy + Debug + Hash + Eq

source

type ProjectionPredicate: Copy + Debug + Hash + Eq

source

type NormalizesTo: Copy + Debug + Hash + Eq

source

type SubtypePredicate: Copy + Debug + Hash + Eq

source

type CoercePredicate: Copy + Debug + Hash + Eq

source

type ClosureKind: Copy + Debug + Hash + Eq

source

type Clauses: Copy + Debug + Hash + Eq + TypeSuperVisitable<Self> + Flags

Required Methods§

source

fn mk_canonical_var_infos( self, infos: &[CanonicalVarInfo<Self>] ) -> Self::CanonicalVars

Object Safety§

This trait is not object safe.

Implementors§