Trait rustc_middle::ty::Interner

pub trait Interner: Sized {
Show 38 associated items
    type AdtDef: Clone + Debug + Hash + Ord;
    type GenericArgsRef: Clone + DebugWithInfcx<Self> + Hash + Ord + IntoIterator<Item = Self::GenericArg>;
    type GenericArg: Clone + DebugWithInfcx<Self> + Hash + Ord;
    type DefId: Clone + Debug + Hash + Ord;
    type Binder<T>;
    type Ty: Clone + DebugWithInfcx<Self> + Hash + Ord;
    type Const: Clone + DebugWithInfcx<Self> + Hash + Ord;
    type Region: Clone + DebugWithInfcx<Self> + 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 + DebugWithInfcx<Self> + Hash + Ord;
    type ListBinderExistentialPredicate: Clone + DebugWithInfcx<Self> + Hash + Ord;
    type BinderListTy: Clone + DebugWithInfcx<Self> + Hash + Ord;
    type ListTy: 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 PlaceholderType: Clone + Debug + Hash + Ord;
    type InferTy: Clone + DebugWithInfcx<Self> + Hash + Ord;
    type ErrorGuaranteed: Clone + Debug + Hash + Ord;
    type PredicateKind: Clone + Debug + Hash + PartialEq<Self::PredicateKind> + Eq;
    type AllocId: Clone + Debug + Hash + Ord;
    type InferConst: Clone + DebugWithInfcx<Self> + Hash + Ord;
    type AliasConst: Clone + DebugWithInfcx<Self> + Hash + Ord;
    type PlaceholderConst: Clone + Debug + Hash + Ord;
    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 EarlyBoundRegion: Clone + Debug + Hash + Ord;
    type BoundRegion: Clone + Debug + Hash + Ord;
    type FreeRegion: Clone + Debug + Hash + Ord;
    type RegionVid: Clone + DebugWithInfcx<Self> + 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§

type AdtDef: Clone + Debug + Hash + Ord

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

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

type DefId: Clone + Debug + Hash + Ord

type Binder<T>

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

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

type Region: Clone + DebugWithInfcx<Self> + 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 + DebugWithInfcx<Self> + Hash + Ord

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

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

type ListTy: 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 PlaceholderType: Clone + Debug + Hash + Ord

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

type ErrorGuaranteed: Clone + Debug + Hash + Ord

type PredicateKind: Clone + Debug + Hash + PartialEq<Self::PredicateKind> + Eq

type AllocId: Clone + Debug + Hash + Ord

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

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

type PlaceholderConst: Clone + Debug + Hash + Ord

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 EarlyBoundRegion: Clone + Debug + Hash + Ord

type BoundRegion: Clone + Debug + Hash + Ord

type FreeRegion: Clone + Debug + Hash + Ord

type RegionVid: Clone + DebugWithInfcx<Self> + 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

Implementors§

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

type AdtDef = AdtDef<'tcx>

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

type GenericArg = GenericArg<'tcx>

type DefId = DefId

type Binder<T> = Binder<'tcx, T>

type Ty = Ty<'tcx>

type Const = Const<'tcx>

type Region = Region<'tcx>

type Predicate = Predicate<'tcx>

type TypeAndMut = TypeAndMut<'tcx>

type Mutability = Mutability

type Movability = Movability

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

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

type BinderListTy = Binder<'tcx, &'tcx List<Ty<'tcx>>>

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

type AliasTy = AliasTy<'tcx>

type ParamTy = ParamTy

type BoundTy = BoundTy

type PlaceholderType = Placeholder<BoundTy>

type InferTy = InferTy

type ErrorGuaranteed = ErrorGuaranteed

type PredicateKind = PredicateKind<'tcx>

type AllocId = AllocId

type InferConst = InferConst<'tcx>

type AliasConst = UnevaluatedConst<'tcx>

type ParamConst = ParamConst

type BoundConst = BoundVar

type PlaceholderConst = Placeholder<BoundVar>

type ValueConst = ValTree<'tcx>

type ExprConst = Expr<'tcx>

type EarlyBoundRegion = EarlyBoundRegion

type BoundRegion = BoundRegion

type FreeRegion = FreeRegion

type RegionVid = RegionVid

type PlaceholderRegion = Placeholder<BoundRegion>