Trait rustc_middle::ty::Interner

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§

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 Methods§

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

Object Safety§

This trait is not object safe.

Implementors§

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