Trait rustc_middle::ty::Interner

source ·
pub trait Interner: Sized {
Show 42 associated items type DefId: Copy + Debug + Hash + Ord; type AdtDef: Copy + Debug + Hash + Ord; type GenericArgs: Copy + DebugWithInfcx<Self> + Hash + Ord + IntoIterator<Item = Self::GenericArg>; type GenericArg: Copy + DebugWithInfcx<Self> + Hash + Ord; type Term: Copy + Debug + Hash + Ord; 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 + Ord + Into<Self::GenericArg> + IntoKind<Kind = TyKind<Self>> + TypeSuperVisitable<Self> + Flags + Ty<Self>; type Tys: Copy + Debug + Hash + Ord + IntoIterator<Item = Self::Ty>; type AliasTy: Copy + DebugWithInfcx<Self> + Hash + Ord; type ParamTy: Copy + Debug + Hash + Ord; type BoundTy: Copy + Debug + Hash + Ord; type PlaceholderTy: Copy + Debug + Hash + Ord + PlaceholderLike; type ErrorGuaranteed: Copy + Debug + Hash + Ord; type BoundExistentialPredicates: Copy + DebugWithInfcx<Self> + Hash + Ord; type PolyFnSig: Copy + DebugWithInfcx<Self> + Hash + Ord; type AllocId: Copy + Debug + Hash + Ord; type Const: Copy + DebugWithInfcx<Self> + Hash + Ord + Into<Self::GenericArg> + IntoKind<Kind = ConstKind<Self>> + ConstTy<Self> + TypeSuperVisitable<Self> + Flags + Const<Self>; type AliasConst: Copy + DebugWithInfcx<Self> + Hash + Ord; type PlaceholderConst: Copy + Debug + Hash + Ord + PlaceholderLike; type ParamConst: Copy + Debug + Hash + Ord; type BoundConst: Copy + Debug + Hash + Ord; type ValueConst: Copy + Debug + Hash + Ord; type ExprConst: Copy + DebugWithInfcx<Self> + Hash + Ord; type Region: Copy + DebugWithInfcx<Self> + Hash + Ord + Into<Self::GenericArg> + IntoKind<Kind = RegionKind<Self>> + Flags + Region<Self>; type EarlyParamRegion: Copy + Debug + Hash + Ord; type LateParamRegion: Copy + Debug + Hash + Ord; type BoundRegion: Copy + Debug + Hash + Ord; type InferRegion: Copy + DebugWithInfcx<Self> + Hash + Ord; type PlaceholderRegion: Copy + Debug + Hash + Ord + PlaceholderLike; type Predicate: Copy + Debug + Hash + Eq + TypeSuperVisitable<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; // Required method fn mk_canonical_var_infos( self, infos: &[CanonicalVarInfo<Self>] ) -> Self::CanonicalVars;
}

Required Associated Types§

source

type DefId: Copy + Debug + Hash + Ord

source

type AdtDef: Copy + Debug + Hash + Ord

source

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

source

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

source

type Term: Copy + Debug + Hash + Ord

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 + Ord + Into<Self::GenericArg> + IntoKind<Kind = TyKind<Self>> + TypeSuperVisitable<Self> + Flags + Ty<Self>

source

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

source

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

source

type ParamTy: Copy + Debug + Hash + Ord

source

type BoundTy: Copy + Debug + Hash + Ord

source

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

source

type ErrorGuaranteed: Copy + Debug + Hash + Ord

source

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

source

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

source

type AllocId: Copy + Debug + Hash + Ord

source

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

source

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

source

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

source

type ParamConst: Copy + Debug + Hash + Ord

source

type BoundConst: Copy + Debug + Hash + Ord

source

type ValueConst: Copy + Debug + Hash + Ord

source

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

source

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

source

type EarlyParamRegion: Copy + Debug + Hash + Ord

source

type LateParamRegion: Copy + Debug + Hash + Ord

source

type BoundRegion: Copy + Debug + Hash + Ord

source

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

source

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

source

type Predicate: Copy + Debug + Hash + Eq + TypeSuperVisitable<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

Required Methods§

source

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

Object Safety§

This trait is not object safe.

Implementors§

source§

impl<'tcx> Interner for TyCtxt<'tcx>

§

type DefId = DefId

§

type AdtDef = AdtDef<'tcx>

§

type GenericArgs = &'tcx List<GenericArg<'tcx>>

§

type GenericArg = GenericArg<'tcx>

§

type Term = Term<'tcx>

§

type Binder<T: TypeVisitable<TyCtxt<'tcx>>> = Binder<'tcx, T>

§

type BoundVars = &'tcx List<BoundVariableKind>

§

type BoundVar = BoundVariableKind

§

type CanonicalVars = &'tcx List<CanonicalVarInfo<TyCtxt<'tcx>>>

§

type Ty = Ty<'tcx>

§

type Tys = &'tcx List<Ty<'tcx>>

§

type AliasTy = AliasTy<'tcx>

§

type ParamTy = ParamTy

§

type BoundTy = BoundTy

§

type PlaceholderTy = Placeholder<BoundTy>

§

type ErrorGuaranteed = ErrorGuaranteed

§

type BoundExistentialPredicates = &'tcx List<Binder<'tcx, ExistentialPredicate<'tcx>>>

§

type PolyFnSig = Binder<'tcx, FnSig<'tcx>>

§

type AllocId = AllocId

§

type Const = Const<'tcx>

§

type AliasConst = UnevaluatedConst<'tcx>

§

type PlaceholderConst = Placeholder<BoundVar>

§

type ParamConst = ParamConst

§

type BoundConst = BoundVar

§

type ValueConst = ValTree<'tcx>

§

type ExprConst = Expr<'tcx>

§

type Region = Region<'tcx>

§

type EarlyParamRegion = EarlyParamRegion

§

type BoundRegion = BoundRegion

§

type LateParamRegion = LateParamRegion

§

type InferRegion = RegionVid

§

type PlaceholderRegion = Placeholder<BoundRegion>

§

type Predicate = Predicate<'tcx>

§

type TraitPredicate = TraitPredicate<'tcx>

§

type RegionOutlivesPredicate = OutlivesPredicate<Region<'tcx>, Region<'tcx>>

§

type TypeOutlivesPredicate = OutlivesPredicate<Ty<'tcx>, Region<'tcx>>

§

type ProjectionPredicate = ProjectionPredicate<'tcx>

§

type NormalizesTo = NormalizesTo<'tcx>

§

type SubtypePredicate = SubtypePredicate<'tcx>

§

type CoercePredicate = CoercePredicate<'tcx>

§

type ClosureKind = ClosureKind