Trait rustc_middle::ty::Interner

pub trait Interner: Sized {
    type DefId: Clone + Debug + Hash + Ord;
    type AdtDef: Clone + Debug + Hash + Ord;
    type GenericArgs: Clone + DebugWithInfcx<Self> + Hash + Ord + IntoIterator<Item = Self::GenericArg>;
    type GenericArg: Clone + DebugWithInfcx<Self> + Hash + Ord;
    type Term: Clone + Debug + Hash + Ord;
    type Binder<T>;
    type TypeAndMut: Clone + Debug + Hash + Ord;
    type CanonicalVars: Clone + Debug + Hash + Eq;
    type Ty: Clone + DebugWithInfcx<Self> + Hash + Ord;
    type Tys: Clone + Debug + Hash + Ord + IntoIterator<Item = Self::Ty>;
    type AliasTy: Clone + DebugWithInfcx<Self> + Hash + Ord;
    type ParamTy: Clone + Debug + Hash + Ord;
    type BoundTy: Clone + Debug + Hash + Ord;
    type PlaceholderTy: Clone + Debug + Hash + Ord + Placeholder;
    type ErrorGuaranteed: Clone + Debug + Hash + Ord;
    type BoundExistentialPredicates: Clone + DebugWithInfcx<Self> + Hash + Ord;
    type PolyFnSig: Clone + DebugWithInfcx<Self> + Hash + Ord;
    type AllocId: Clone + Debug + Hash + Ord;
    type Const: Clone + DebugWithInfcx<Self> + Hash + Ord;
    type AliasConst: Clone + DebugWithInfcx<Self> + Hash + Ord;
    type PlaceholderConst: Clone + Debug + Hash + Ord + Placeholder;
    type ParamConst: Clone + Debug + Hash + Ord;
    type BoundConst: Clone + Debug + Hash + Ord;
    type ValueConst: Clone + Debug + Hash + Ord;
    type ExprConst: Clone + DebugWithInfcx<Self> + Hash + Ord;
    type Region: Clone + DebugWithInfcx<Self> + Hash + Ord;
    type EarlyParamRegion: Clone + Debug + Hash + Ord;
    type BoundRegion: Clone + Debug + Hash + Ord;
    type LateParamRegion: Clone + Debug + Hash + Ord;
    type InferRegion: Clone + DebugWithInfcx<Self> + Hash + Ord;
    type PlaceholderRegion: Clone + Debug + Hash + Ord + Placeholder;
    type Predicate: Clone + Debug + Hash + Eq;
    type TraitPredicate: Clone + Debug + Hash + Eq;
    type RegionOutlivesPredicate: Clone + Debug + Hash + Eq;
    type TypeOutlivesPredicate: Clone + Debug + Hash + Eq;
    type ProjectionPredicate: Clone + Debug + Hash + Eq;
    type SubtypePredicate: Clone + Debug + Hash + Eq;
    type CoercePredicate: Clone + Debug + Hash + Eq;
    type ClosureKind: Clone + Debug + Hash + Eq;

    // Required method
    fn ty_and_mut_to_parts(
        ty_and_mut: Self::TypeAndMut
    ) -> (Self::Ty, Mutability);
}

Required Associated Types

type DefId: Clone + Debug + Hash + Ord

type AdtDef: Clone + Debug + Hash + Ord

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

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

type Term: Clone + Debug + Hash + Ord

type Binder<T>

type TypeAndMut: Clone + Debug + Hash + Ord

type CanonicalVars: Clone + Debug + Hash + Eq

type Ty: Clone + DebugWithInfcx<Self> + Hash + Ord

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

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

type ParamTy: Clone + Debug + Hash + Ord

type BoundTy: Clone + Debug + Hash + Ord

type PlaceholderTy: Clone + Debug + Hash + Ord + Placeholder

type ErrorGuaranteed: Clone + Debug + Hash + Ord

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

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

type AllocId: Clone + Debug + Hash + Ord

type Const: Clone + DebugWithInfcx<Self> + Hash + Ord

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

type PlaceholderConst: Clone + Debug + Hash + Ord + Placeholder

type ParamConst: Clone + Debug + Hash + Ord

type BoundConst: Clone + Debug + Hash + Ord

type ValueConst: Clone + Debug + Hash + Ord

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

type Region: Clone + DebugWithInfcx<Self> + Hash + Ord

type EarlyParamRegion: Clone + Debug + Hash + Ord

type BoundRegion: Clone + Debug + Hash + Ord

type LateParamRegion: Clone + Debug + Hash + Ord

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

type PlaceholderRegion: Clone + Debug + Hash + Ord + Placeholder

type Predicate: Clone + Debug + Hash + Eq

type TraitPredicate: Clone + Debug + Hash + Eq

type RegionOutlivesPredicate: Clone + Debug + Hash + Eq

type TypeOutlivesPredicate: Clone + Debug + Hash + Eq

type ProjectionPredicate: Clone + Debug + Hash + Eq

type SubtypePredicate: Clone + Debug + Hash + Eq

type CoercePredicate: Clone + Debug + Hash + Eq

type ClosureKind: Clone + Debug + Hash + Eq

Required Methods

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

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> = Binder<'tcx, T>

type TypeAndMut = TypeAndMut<'tcx>

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 SubtypePredicate = SubtypePredicate<'tcx>

type CoercePredicate = CoercePredicate<'tcx>

type ClosureKind = ClosureKind