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 59 associated items
type DefId: Copy + Debug + Hash + Eq + TypeFoldable<Self>;
type AdtDef: AdtDef<Self>;
type GenericArgs: GenericArgs<Self>;
type GenericArgsSlice: Copy + Debug + Hash + Eq + Deref<Target = [Self::GenericArg]>;
type GenericArg: Copy + DebugWithInfcx<Self> + Hash + Eq + IntoKind<Kind = GenericArgKind<Self>> + TypeVisitable<Self> + Relate<Self>;
type Term: Copy + Debug + Hash + Eq + IntoKind<Kind = TermKind<Self>> + TypeFoldable<Self> + Relate<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 + Relate<Self>;
type AllocId: Copy + Debug + Hash + Eq;
type Pat: Copy + Debug + Hash + Eq + DebugWithInfcx<Self> + Relate<Self>;
type Safety: Safety<Self> + TypeFoldable<Self> + Relate<Self>;
type Abi: Abi<Self> + TypeFoldable<Self> + Relate<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 + Relate<Self>;
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 + TypeFoldable<Self>;
type Predicate: Predicate<Self>;
type Clause: Clause<Self>;
type Clauses: Copy + Debug + Hash + Eq + TypeSuperVisitable<Self> + Flags;
type GenericsOf: GenericsOf<Self>;
type VariancesOf: Copy + Debug + Deref<Target = [Variance]>;
type Features: Features<Self>;
// Required methods
fn expand_abstract_consts<T>(self, t: T) -> T
where T: TypeFoldable<Self>;
fn mk_canonical_var_infos(
self,
infos: &[CanonicalVarInfo<Self>],
) -> Self::CanonicalVars;
fn generics_of(self, def_id: Self::DefId) -> Self::GenericsOf;
fn variances_of(self, def_id: Self::DefId) -> Self::VariancesOf;
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::GenericArgsSlice);
fn mk_args(self, args: &[Self::GenericArg]) -> Self::GenericArgs;
fn mk_args_from_iter<I, T>(
self,
args: I,
) -> <T as CollectAndApply<Self::GenericArg, Self::GenericArgs>>::Output
where I: Iterator<Item = T>,
T: CollectAndApply<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 intern_canonical_goal_evaluation_step(
self,
step: CanonicalGoalEvaluationStep<Self>,
) -> Self::CanonicalGoalEvaluationStepRef;
fn mk_type_list_from_iter<I, T>(
self,
args: I,
) -> <T as CollectAndApply<Self::Ty, Self::Tys>>::Output
where I: Iterator<Item = T>,
T: CollectAndApply<Self::Ty, Self::Tys>;
fn parent(self, def_id: Self::DefId) -> Self::DefId;
fn recursion_limit(self) -> usize;
fn features(self) -> Self::Features;
}
Required Associated Types§
type DefId: Copy + Debug + Hash + Eq + TypeFoldable<Self>
type AdtDef: AdtDef<Self>
type GenericArgs: GenericArgs<Self>
type GenericArgsSlice: Copy + Debug + Hash + Eq + Deref<Target = [Self::GenericArg]>
type GenericArg: Copy + DebugWithInfcx<Self> + Hash + Eq + IntoKind<Kind = GenericArgKind<Self>> + TypeVisitable<Self> + Relate<Self>
type Term: Copy + Debug + Hash + Eq + IntoKind<Kind = TermKind<Self>> + TypeFoldable<Self> + Relate<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 + Relate<Self>
type AllocId: Copy + Debug + Hash + Eq
type Pat: Copy + Debug + Hash + Eq + DebugWithInfcx<Self> + Relate<Self>
type Safety: Safety<Self> + TypeFoldable<Self> + Relate<Self>
type Abi: Abi<Self> + TypeFoldable<Self> + Relate<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 + Relate<Self>
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 + TypeFoldable<Self>
type Predicate: Predicate<Self>
type Clause: Clause<Self>
type Clauses: Copy + Debug + Hash + Eq + TypeSuperVisitable<Self> + Flags
type GenericsOf: GenericsOf<Self>
type VariancesOf: Copy + Debug + Deref<Target = [Variance]>
type Features: Features<Self>
Required Methods§
fn expand_abstract_consts<T>(self, t: T) -> Twhere
T: TypeFoldable<Self>,
fn mk_canonical_var_infos( self, infos: &[CanonicalVarInfo<Self>], ) -> Self::CanonicalVars
fn generics_of(self, def_id: Self::DefId) -> Self::GenericsOf
fn variances_of(self, def_id: Self::DefId) -> Self::VariancesOf
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::GenericArgsSlice)
fn mk_args(self, args: &[Self::GenericArg]) -> Self::GenericArgs
fn mk_args_from_iter<I, T>( self, args: I, ) -> <T as CollectAndApply<Self::GenericArg, Self::GenericArgs>>::Output
fn check_and_mk_args(
self,
def_id: Self::DefId,
args: impl IntoIterator- >,
) -> Self::GenericArgs
fn intern_canonical_goal_evaluation_step( self, step: CanonicalGoalEvaluationStep<Self>, ) -> Self::CanonicalGoalEvaluationStepRef
fn mk_type_list_from_iter<I, T>( self, args: I, ) -> <T as CollectAndApply<Self::Ty, Self::Tys>>::Output
fn parent(self, def_id: Self::DefId) -> Self::DefId
fn recursion_limit(self) -> usize
fn features(self) -> Self::Features
Object Safety§
This trait is not object safe.