Trait rustc_middle::ty::Interner

source ·
pub trait Interner: Sized + Copy + IrPrint<AliasTy<Self>> + IrPrint<AliasTerm<Self>> + IrPrint<TraitRef<Self>> + IrPrint<TraitPredicate<Self>> + IrPrint<ExistentialTraitRef<Self>> + IrPrint<ExistentialProjection<Self>> + IrPrint<ProjectionPredicate<Self>> + IrPrint<NormalizesTo<Self>> + IrPrint<SubtypePredicate<Self>> + IrPrint<CoercePredicate<Self>> + IrPrint<FnSig<Self>> {
Show 53 associated items type DefId: Copy + Debug + Hash + Eq + TypeVisitable<Self>; type AdtDef: Copy + Debug + Hash + Eq; type GenericArgs: GenericArgs<Self>; type OwnItemArgs: Copy + Debug + Hash + Eq; type GenericArg: Copy + DebugWithInfcx<Self> + Hash + Eq + IntoKind<Kind = GenericArgKind<Self>> + TypeVisitable<Self>; type Term: Copy + Debug + Hash + Eq + IntoKind<Kind = TermKind<Self>> + TypeVisitable<Self>; type BoundVarKinds: Copy + Debug + Hash + Eq + Deref + Default where <Self::BoundVarKinds as Deref>::Target: Deref<Target = [Self::BoundVarKind]>; type BoundVarKind: Copy + Debug + Hash + Eq; type CanonicalVars: Copy + Debug + Hash + Eq + IntoIterator<Item = CanonicalVarInfo<Self>>; type PredefinedOpaques: Copy + Debug + Hash + Eq; type DefiningOpaqueTypes: Copy + Debug + Hash + Default + Eq + TypeVisitable<Self>; type ExternalConstraints: Copy + Debug + Hash + Eq; type CanonicalGoalEvaluationStepRef: Copy + Debug + Hash + Eq + Deref<Target = CanonicalGoalEvaluationStep<Self>>; type Ty: Ty<Self>; type Tys: Tys<Self>; type FnInputTys: Copy + Debug + Hash + Eq + Deref<Target = [Self::Ty]> + TypeVisitable<Self>; type ParamTy: Copy + Debug + Hash + Eq + ParamLike; type BoundTy: Copy + Debug + Hash + Eq + BoundVarLike<Self>; type PlaceholderTy: 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 Safety: Safety<Self>; type Abi: Abi<Self>; type Const: Const<Self>; type PlaceholderConst: PlaceholderLike; type ParamConst: Copy + Debug + Hash + Eq + ParamLike; type BoundConst: Copy + Debug + Hash + Eq + BoundVarLike<Self>; type ValueConst: Copy + Debug + Hash + Eq; type ExprConst: Copy + DebugWithInfcx<Self> + Hash + Eq; type Region: Region<Self>; type EarlyParamRegion: Copy + Debug + Hash + Eq + ParamLike; type LateParamRegion: Copy + Debug + Hash + Eq; type BoundRegion: Copy + Debug + Hash + Eq + BoundVarLike<Self>; type PlaceholderRegion: PlaceholderLike; type ParamEnv: Copy + Debug + Hash + Eq; type Predicate: Predicate<Self>; type Clause: Clause<Self>; type Clauses: Copy + Debug + Hash + Eq + TypeSuperVisitable<Self> + Flags; type GenericsOf: GenericsOf<Self>; // Required methods fn mk_canonical_var_infos( self, infos: &[CanonicalVarInfo<Self>] ) -> Self::CanonicalVars; fn generics_of(self, def_id: Self::DefId) -> Self::GenericsOf; fn type_of(self, def_id: Self::DefId) -> EarlyBinder<Self, Self::Ty>; fn alias_ty_kind(self, alias: AliasTy<Self>) -> AliasTyKind; fn alias_term_kind(self, alias: AliasTerm<Self>) -> AliasTermKind; fn trait_ref_and_own_args_for_alias( self, def_id: Self::DefId, args: Self::GenericArgs ) -> (TraitRef<Self>, Self::OwnItemArgs); fn mk_args(self, args: &[Self::GenericArg]) -> Self::GenericArgs; fn mk_args_from_iter( self, args: impl Iterator<Item = Self::GenericArg> ) -> Self::GenericArgs; fn check_and_mk_args( self, def_id: Self::DefId, args: impl IntoIterator> ) -> Self::GenericArgs where <impl IntoIterator as IntoIterator>::Item: Into<Self::GenericArg>; fn parent(self, def_id: Self::DefId) -> Self::DefId; fn recursion_limit(self) -> usize;
}

Required Associated Types§

source

type DefId: Copy + Debug + Hash + Eq + TypeVisitable<Self>

source

type AdtDef: Copy + Debug + Hash + Eq

source

type GenericArgs: GenericArgs<Self>

source

type OwnItemArgs: Copy + Debug + Hash + Eq

The slice of args for a specific item. For a GAT like type Foo<'a>, it will be ['a], not including the args from the parent item (trait or impl).

source

type GenericArg: Copy + DebugWithInfcx<Self> + Hash + Eq + IntoKind<Kind = GenericArgKind<Self>> + TypeVisitable<Self>

source

type Term: Copy + Debug + Hash + Eq + IntoKind<Kind = TermKind<Self>> + TypeVisitable<Self>

source

type BoundVarKinds: Copy + Debug + Hash + Eq + Deref + Default where <Self::BoundVarKinds as Deref>::Target: Deref<Target = [Self::BoundVarKind]>

source

type BoundVarKind: Copy + Debug + Hash + Eq

source

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

source

type PredefinedOpaques: Copy + Debug + Hash + Eq

source

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

source

type ExternalConstraints: Copy + Debug + Hash + Eq

source

type CanonicalGoalEvaluationStepRef: Copy + Debug + Hash + Eq + Deref<Target = CanonicalGoalEvaluationStep<Self>>

source

type Ty: Ty<Self>

source

type Tys: Tys<Self>

source

type FnInputTys: Copy + Debug + Hash + Eq + Deref<Target = [Self::Ty]> + TypeVisitable<Self>

source

type ParamTy: Copy + Debug + Hash + Eq + ParamLike

source

type BoundTy: Copy + Debug + Hash + Eq + BoundVarLike<Self>

source

type PlaceholderTy: 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 Safety: Safety<Self>

source

type Abi: Abi<Self>

source

type Const: Const<Self>

source

type PlaceholderConst: PlaceholderLike

source

type ParamConst: Copy + Debug + Hash + Eq + ParamLike

source

type BoundConst: Copy + Debug + Hash + Eq + BoundVarLike<Self>

source

type ValueConst: Copy + Debug + Hash + Eq

source

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

source

type Region: Region<Self>

source

type EarlyParamRegion: Copy + Debug + Hash + Eq + ParamLike

source

type LateParamRegion: Copy + Debug + Hash + Eq

source

type BoundRegion: Copy + Debug + Hash + Eq + BoundVarLike<Self>

source

type PlaceholderRegion: PlaceholderLike

source

type ParamEnv: Copy + Debug + Hash + Eq

source

type Predicate: Predicate<Self>

source

type Clause: Clause<Self>

source

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

source

type GenericsOf: GenericsOf<Self>

Required Methods§

source

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

source

fn generics_of(self, def_id: Self::DefId) -> Self::GenericsOf

source

fn type_of(self, def_id: Self::DefId) -> EarlyBinder<Self, Self::Ty>

source

fn alias_ty_kind(self, alias: AliasTy<Self>) -> AliasTyKind

source

fn alias_term_kind(self, alias: AliasTerm<Self>) -> AliasTermKind

source

fn trait_ref_and_own_args_for_alias( self, def_id: Self::DefId, args: Self::GenericArgs ) -> (TraitRef<Self>, Self::OwnItemArgs)

source

fn mk_args(self, args: &[Self::GenericArg]) -> Self::GenericArgs

source

fn mk_args_from_iter( self, args: impl Iterator<Item = Self::GenericArg> ) -> Self::GenericArgs

source

fn check_and_mk_args( self, def_id: Self::DefId, args: impl IntoIterator> ) -> Self::GenericArgs
where <impl IntoIterator as IntoIterator>::Item: Into<Self::GenericArg>,

source

fn parent(self, def_id: Self::DefId) -> Self::DefId

source

fn recursion_limit(self) -> usize

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 RawList<(), GenericArg<'tcx>>

§

type OwnItemArgs = &'tcx [GenericArg<'tcx>]

§

type GenericArg = GenericArg<'tcx>

§

type Term = Term<'tcx>

§

type BoundVarKinds = &'tcx RawList<(), BoundVariableKind>

§

type BoundVarKind = BoundVariableKind

§

type CanonicalVars = &'tcx RawList<(), CanonicalVarInfo<TyCtxt<'tcx>>>

§

type PredefinedOpaques = PredefinedOpaques<'tcx>

§

type DefiningOpaqueTypes = &'tcx RawList<(), LocalDefId>

§

type ExternalConstraints = ExternalConstraints<'tcx>

§

type CanonicalGoalEvaluationStepRef = &'tcx CanonicalGoalEvaluationStep<TyCtxt<'tcx>>

§

type Ty = Ty<'tcx>

§

type Tys = &'tcx RawList<(), Ty<'tcx>>

§

type FnInputTys = &'tcx [Ty<'tcx>]

§

type ParamTy = ParamTy

§

type BoundTy = BoundTy

§

type PlaceholderTy = Placeholder<BoundTy>

§

type ErrorGuaranteed = ErrorGuaranteed

§

type BoundExistentialPredicates = &'tcx RawList<(), Binder<TyCtxt<'tcx>, ExistentialPredicate<TyCtxt<'tcx>>>>

§

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

§

type AllocId = AllocId

§

type Pat = Pattern<'tcx>

§

type Safety = Safety

§

type Abi = Abi

§

type Const = Const<'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 LateParamRegion = LateParamRegion

§

type BoundRegion = BoundRegion

§

type PlaceholderRegion = Placeholder<BoundRegion>

§

type ParamEnv = ParamEnv<'tcx>

§

type Predicate = Predicate<'tcx>

§

type Clause = Clause<'tcx>

§

type Clauses = &'tcx RawList<TypeInfo, Clause<'tcx>>

§

type GenericsOf = &'tcx Generics