hax_frontend_exporter

Trait SInto

Source 
pub trait SInto<S, To>: PointeeSized {
    // Required method
    fn sinto(&self, s: &S) -> To;
}

Required Methods§

Source

fn sinto(&self, s: &S) -> To

Implementations on Foreign Types§

Source§

impl<'a, 'tcx, S: UnderOwnerState<'tcx>, Body: IsBody> SInto<S, Vec<Item<Body>>> for Mod<'a>

Source§

fn sinto(&self, s: &S) -> Vec<Item<Body>>

Source§

impl<'a, S> SInto<S, HirGenericArgs> for GenericArgs<'a>

Source§

fn sinto(&self, _: &S) -> HirGenericArgs

Source§

impl<'a, S> SInto<S, InlineAsm> for InlineAsm<'a>

Source§

fn sinto(&self, _: &S) -> InlineAsm

Source§

impl<'a, S> SInto<S, LogicalOp> for LogicalOp

Source§

fn sinto(&self, _s: &S) -> LogicalOp

Source§

impl<'a, S: UnderOwnerState<'a>> SInto<S, DisambiguatedDefPathItem> for DisambiguatedDefPathData

Source§

fn sinto(&self, s: &S) -> DisambiguatedDefPathItem

Source§

impl<'a, S: UnderOwnerState<'a>, Body: IsBody> SInto<S, ForeignItem<Body>> for ForeignItemId

Source§

fn sinto(&self, s: &S) -> ForeignItem<Body>

Source§

impl<'a, S: UnderOwnerState<'a>, Body: IsBody> SInto<S, TraitItem<Body>> for TraitItemId

Source§

fn sinto(&self, s: &S) -> TraitItem<Body>

Source§

impl<'ctx, S: UnderOwnerState<'ctx>> SInto<S, DefPathItem> for DefPathData

Source§

fn sinto(&self, s: &S) -> DefPathItem

Source§

impl<'s, S: UnderOwnerState<'s>, T: SInto<S, U>, U> SInto<S, Spanned<U>> for Spanned<T>

Source§

fn sinto<'a>(&self, s: &S) -> Spanned<U>

Source§

impl<'slt, S: UnderOwnerState<'slt> + HasThir<'slt>> SInto<S, LintLevel> for LintLevel

Source§

fn sinto(&self, gstate: &S) -> LintLevel

Source§

impl<'slt, S: UnderOwnerState<'slt>> SInto<S, BinOp> for BinOp

Source§

fn sinto(&self, _s: &S) -> BinOp

Source§

impl<'slt, S: UnderOwnerState<'slt>> SInto<S, UnOp> for UnOp

Source§

fn sinto(&self, _s: &S) -> UnOp

Source§

impl<'t, S> SInto<S, String> for TokenStream

Source§

fn sinto(&self, _: &S) -> String

Source§

impl<'t, S> SInto<S, String> for Symbol

Source§

fn sinto(&self, _s: &S) -> Symbol

Source§

impl<'t, S> SInto<S, Vec<u8>> for ByteSymbol

Source§

fn sinto(&self, _s: &S) -> ByteSymbol

Source§

impl<'tcx, Body, S: UnderOwnerState<'tcx>> SInto<S, FullDefKind<Body>> for DefKind
where Body: IsBody + TypeMappable,

Source§

fn sinto(&self, s: &S) -> FullDefKind<Body>

Source§

impl<'tcx, Body: IsBody, S: UnderOwnerState<'tcx>> SInto<S, ConstArgKind<Body>> for ConstArgKind<'tcx>

Source§

fn sinto(&self, s: &S) -> ConstArgKind<Body>

Source§

impl<'tcx, Body: IsBody, S: UnderOwnerState<'tcx>> SInto<S, ForeignItemKind<Body>> for ForeignItemKind<'tcx>

Source§

fn sinto(&self, tcx: &S) -> ForeignItemKind<Body>

Source§

impl<'tcx, Body: IsBody, S: UnderOwnerState<'tcx>> SInto<S, GenericParamKind<Body>> for GenericParamKind<'tcx>

Source§

fn sinto(&self, tcx: &S) -> GenericParamKind<Body>

Source§

impl<'tcx, Body: IsBody, S: UnderOwnerState<'tcx>> SInto<S, ImplItemKind<Body>> for ImplItemKind<'tcx>

Source§

fn sinto(&self, s: &S) -> ImplItemKind<Body>

Source§

impl<'tcx, Body: IsBody, S: UnderOwnerState<'tcx>> SInto<S, ItemKind<Body>> for ItemKind<'tcx>

Source§

fn sinto(&self, s: &S) -> ItemKind<Body>

Source§

impl<'tcx, Body: IsBody, S: UnderOwnerState<'tcx>> SInto<S, TraitItemKind<Body>> for TraitItemKind<'tcx>

Source§

fn sinto(&self, tcx: &S) -> TraitItemKind<Body>

Source§

impl<'tcx, Body: IsBody, S: UnderOwnerState<'tcx>> SInto<S, AnonConst<Body>> for AnonConst

Source§

fn sinto(&self, s: &S) -> AnonConst<Body>

Source§

impl<'tcx, Body: IsBody, S: UnderOwnerState<'tcx>> SInto<S, ConstArg<Body>> for ConstArg<'tcx>

Source§

fn sinto(&self, s: &S) -> ConstArg<Body>

Source§

impl<'tcx, Body: IsBody, S: UnderOwnerState<'tcx>> SInto<S, ForeignItem<Body>> for ForeignItem<'tcx>

Source§

fn sinto(&self, tcx: &S) -> ForeignItem<Body>

Source§

impl<'tcx, Body: IsBody, S: UnderOwnerState<'tcx>> SInto<S, GenericParam<Body>> for GenericParam<'tcx>

Source§

fn sinto(&self, s: &S) -> GenericParam<Body>

Source§

impl<'tcx, Body: IsBody, S: UnderOwnerState<'tcx>> SInto<S, Generics<Body>> for Generics<'tcx>

Source§

fn sinto(&self, tcx: &S) -> Generics<Body>

Source§

impl<'tcx, Body: IsBody, S: UnderOwnerState<'tcx>> SInto<S, Impl<Body>> for Impl<'tcx>

Source§

fn sinto(&self, s: &S) -> Impl<Body>

Source§

impl<'tcx, Body: IsBody, S: UnderOwnerState<'tcx>> SInto<S, ImplItem<Body>> for ImplItem<'tcx>

Source§

fn sinto(&self, s: &S) -> ImplItem<Body>

Source§

impl<'tcx, Body: IsBody, S: UnderOwnerState<'tcx>> SInto<S, TraitItem<Body>> for TraitItem<'tcx>

Source§

fn sinto(&self, s: &S) -> TraitItem<Body>

Source§

impl<'tcx, Body: IsBody, S: UnderOwnerState<'tcx>> SInto<S, Variant<Body>> for Variant<'tcx>

Source§

fn sinto(&self, s: &S) -> Variant<Body>

Source§

impl<'tcx, KIND, S: UnderOwnerState<'tcx> + HasMir<'tcx>> SInto<S, MirBody<KIND>> for Body<'tcx>

Source§

fn sinto(&self, s: &S) -> MirBody<KIND>

Source§

impl<'tcx, S> SInto<S, AssertMessage> for AssertMessage<'tcx>

Source§

fn sinto(&self, _: &S) -> AssertMessage

Source§

impl<'tcx, S> SInto<S, BlockSafety> for BlockSafety

Source§

fn sinto(&self, _s: &S) -> BlockSafety

Source§

impl<'tcx, S> SInto<S, CastKind> for CastKind

Source§

fn sinto(&self, _s: &S) -> CastKind

Source§

impl<'tcx, S> SInto<S, CoercionSource> for CoercionSource

Source§

fn sinto(&self, _s: &S) -> CoercionSource

Source§

impl<'tcx, S> SInto<S, CoverageStatus> for CoverageStatus

Source§

fn sinto(&self, _s: &S) -> CoverageStatus

Source§

impl<'tcx, S> SInto<S, DeprecatedSince> for DeprecatedSince

Source§

fn sinto(&self, _s: &S) -> DeprecatedSince

Source§

impl<'tcx, S> SInto<S, FloatTy> for FloatTy

Source§

fn sinto(&self, _: &S) -> FloatTy

Source§

impl<'tcx, S> SInto<S, HostEffectPredicate> for HostEffectPredicate<'tcx>

Source§

fn sinto(&self, _: &S) -> HostEffectPredicate

Source§

impl<'tcx, S> SInto<S, InferTy> for InferTy

Source§

fn sinto(&self, gstate: &S) -> InferTy

Source§

impl<'tcx, S> SInto<S, InlineAsmOperand> for InlineAsmOperand<'tcx>

Source§

fn sinto(&self, _: &S) -> InlineAsmOperand

Source§

impl<'tcx, S> SInto<S, IntTy> for IntTy

Source§

fn sinto(&self, _: &S) -> IntTy

Source§

impl<'tcx, S> SInto<S, Movability> for Movability

Source§

fn sinto(&self, _s: &S) -> Movability

Source§

impl<'tcx, S> SInto<S, NormalizesTo> for NormalizesTo<'tcx>

Source§

fn sinto(&self, _: &S) -> NormalizesTo

Source§

impl<'tcx, S> SInto<S, QPath> for QPath<'tcx>

Source§

fn sinto(&self, _: &S) -> QPath

Source§

impl<'tcx, S> SInto<S, UintTy> for UintTy

Source§

fn sinto(&self, _: &S) -> UintTy

Source§

impl<'tcx, S> SInto<S, WhereEqPredicate> for WhereEqPredicate<'tcx>

Source§

fn sinto(&self, _: &S) -> WhereEqPredicate

Source§

impl<'tcx, S> SInto<S, WhereRegionPredicate> for WhereRegionPredicate<'tcx>

Source§

fn sinto(&self, _: &S) -> WhereRegionPredicate

Source§

impl<'tcx, S> SInto<S, Deprecation> for Deprecation

Source§

fn sinto(&self, _s: &S) -> Deprecation

Source§

impl<'tcx, S> SInto<S, RustcVersion> for RustcVersion

Source§

fn sinto(&self, _s: &S) -> RustcVersion

Source§

impl<'tcx, S: BaseState<'tcx>> SInto<S, (String, Span)> for Ident

Source§

fn sinto(&self, s: &S) -> Ident

Source§

impl<'tcx, S: BaseState<'tcx>> SInto<S, AssignOp> for AssignOp

Source§

fn sinto(&self, _s: &S) -> AssignOp

Source§

impl<'tcx, S: BaseState<'tcx>> SInto<S, AssocKind> for AssocKind

Source§

fn sinto(&self, _tcx: &S) -> AssocKind

Source§

impl<'tcx, S: BaseState<'tcx>> SInto<S, AssocTypeData> for AssocTypeData

Source§

fn sinto(&self, _tcx: &S) -> AssocTypeData

Source§

impl<'tcx, S: BaseState<'tcx>> SInto<S, AttrArgs> for AttrArgs

Source§

fn sinto(&self, tcx: &S) -> AttrArgs

Source§

impl<'tcx, S: BaseState<'tcx>> SInto<S, Attribute> for Attribute

Source§

fn sinto(&self, gstate: &S) -> Attribute

Source§

impl<'tcx, S: BaseState<'tcx>> SInto<S, AttributeKind> for AttributeKind

Source§

fn sinto(&self, tcx: &S) -> AttributeKind

Source§

impl<'tcx, S: BaseState<'tcx>> SInto<S, ExternAbi> for ExternAbi

Source§

fn sinto(&self, s: &S) -> ExternAbi

Source§

impl<'tcx, S: BaseState<'tcx>> SInto<S, ImplTraitInTraitData> for ImplTraitInTraitData

Source§

fn sinto(&self, _s: &S) -> ImplTraitInTraitData

Source§

impl<'tcx, S: BaseState<'tcx>> SInto<S, InlineAttr> for InlineAttr

Source§

fn sinto(&self, _s: &S) -> InlineAttr

Source§

impl<'tcx, S: BaseState<'tcx>> SInto<S, LitFloatType> for LitFloatType

Source§

fn sinto(&self, gstate: &S) -> LitFloatType

Source§

impl<'tcx, S: BaseState<'tcx>> SInto<S, LitIntType> for LitIntType

Source§

fn sinto(&self, gstate: &S) -> LitIntType

Source§

impl<'tcx, S: BaseState<'tcx>> SInto<S, LitKind> for LitKind

Source§

fn sinto(&self, gstate: &S) -> LitKind

Source§

impl<'tcx, S: BaseState<'tcx>> SInto<S, RawPtrKind> for RawPtrKind

Source§

fn sinto(&self, _s: &S) -> RawPtrKind

Source§

impl<'tcx, S: BaseState<'tcx>> SInto<S, UnwindAction> for UnwindAction

Source§

fn sinto(&self, _s: &S) -> UnwindAction

Source§

impl<'tcx, S: BaseState<'tcx>> SInto<S, UseKind> for UseKind

Source§

fn sinto(&self, _s: &S) -> UseKind

Source§

impl<'tcx, S: BaseState<'tcx>> SInto<S, AssocItem> for AssocItem

Source§

fn sinto(&self, s: &S) -> AssocItem

Source§

impl<'tcx, S: BaseState<'tcx>> SInto<S, AttrItem> for AttrItem

Source§

fn sinto(&self, gstate: &S) -> AttrItem

Source§

impl<'tcx, S: BaseState<'tcx>> SInto<S, HirId> for HirId

Source§

fn sinto(&self, gstate: &S) -> HirId

Source§

impl<'tcx, S: BaseState<'tcx>> SInto<S, MacroDef> for MacroDef

Source§

fn sinto(&self, tcx: &S) -> MacroDef

Source§

impl<'tcx, S: BaseState<'tcx>> SInto<S, MetaItemLit> for MetaItemLit

Source§

fn sinto(&self, tcx: &S) -> MetaItemLit

Source§

impl<'tcx, S: BaseState<'tcx>> SInto<S, Span> for Span

Source§

fn sinto(&self, s: &S) -> Span

Source§

impl<'tcx, S: BaseState<'tcx>, Body: IsBody> SInto<S, Item<Body>> for Item<'tcx>

Source§

fn sinto(&self, s: &S) -> Item<Body>

Source§

impl<'tcx, S: BaseState<'tcx>, Body: IsBody> SInto<S, Item<Body>> for ItemId

Source§

fn sinto(&self, s: &S) -> Item<Body>

Source§

impl<'tcx, S: ExprState<'tcx>> SInto<S, AdtExprBase> for AdtExprBase<'tcx>

Source§

fn sinto(&self, gstate: &S) -> AdtExprBase

Source§

impl<'tcx, S: ExprState<'tcx>> SInto<S, ExprKind> for ExprKind<'tcx>

Source§

fn sinto(&self, gstate: &S) -> ExprKind

Source§

impl<'tcx, S: ExprState<'tcx>> SInto<S, PatKind> for PatKind<'tcx>

Source§

fn sinto(&self, gstate: &S) -> PatKind

Source§

impl<'tcx, S: ExprState<'tcx>> SInto<S, StmtKind> for StmtKind<'tcx>

Source§

fn sinto(&self, gstate: &S) -> StmtKind

Source§

impl<'tcx, S: ExprState<'tcx>> SInto<S, AdtExpr> for AdtExpr<'tcx>

Source§

fn sinto(&self, s: &S) -> AdtExpr

Source§

impl<'tcx, S: ExprState<'tcx>> SInto<S, Arm> for Arm<'tcx>

Source§

fn sinto(&self, gstate: &S) -> Arm

Source§

impl<'tcx, S: ExprState<'tcx>> SInto<S, Arm> for ArmId

Source§

fn sinto(&self, s: &S) -> Arm

Source§

impl<'tcx, S: ExprState<'tcx>> SInto<S, Block> for Block

Source§

fn sinto(&self, gstate: &S) -> Block

Source§

impl<'tcx, S: ExprState<'tcx>> SInto<S, Block> for BlockId

Source§

fn sinto(&self, s: &S) -> Block

Source§

impl<'tcx, S: ExprState<'tcx>> SInto<S, Decorated<ExprKind>> for Expr<'tcx>

Source§

fn sinto(&self, s: &S) -> Expr

Source§

impl<'tcx, S: ExprState<'tcx>> SInto<S, Decorated<ExprKind>> for ExprId

Source§

fn sinto(&self, s: &S) -> Expr

Source§

impl<'tcx, S: ExprState<'tcx>> SInto<S, Decorated<PatKind>> for Pat<'tcx>

Source§

fn sinto(&self, s: &S) -> Pat

Source§

impl<'tcx, S: ExprState<'tcx>> SInto<S, FruInfo> for FruInfo<'tcx>

Source§

fn sinto(&self, gstate: &S) -> FruInfo

Source§

impl<'tcx, S: ExprState<'tcx>> SInto<S, Param> for Param<'tcx>

Source§

fn sinto(&self, s: &S) -> Param

Source§

impl<'tcx, S: ExprState<'tcx>> SInto<S, Stmt> for Stmt<'tcx>

Source§

fn sinto(&self, s: &S) -> Stmt

Source§

impl<'tcx, S: ExprState<'tcx>> SInto<S, Stmt> for StmtId

Source§

fn sinto(&self, s: &S) -> Stmt

Source§

impl<'tcx, S: UnderBinderState<'tcx>> SInto<S, ClauseKind> for ClauseKind<'tcx>

Source§

fn sinto(&self, tcx: &S) -> ClauseKind

Source§

impl<'tcx, S: UnderBinderState<'tcx>> SInto<S, PredicateKind> for PredicateKind<'tcx>

Source§

fn sinto(&self, tcx: &S) -> PredicateKind

Source§

impl<'tcx, S: UnderBinderState<'tcx>> SInto<S, ProjectionPredicate> for ProjectionPredicate<'tcx>

Source§

fn sinto(&self, s: &S) -> ProjectionPredicate

Source§

impl<'tcx, S: UnderOwnerState<'tcx> + HasMir<'tcx>> SInto<S, AggregateKind> for AggregateKind<'tcx>

Source§

fn sinto(&self, s: &S) -> AggregateKind

Source§

impl<'tcx, S: UnderOwnerState<'tcx> + HasMir<'tcx>> SInto<S, NonDivergingIntrinsic> for NonDivergingIntrinsic<'tcx>

Source§

fn sinto(&self, s: &S) -> NonDivergingIntrinsic

Source§

impl<'tcx, S: UnderOwnerState<'tcx> + HasMir<'tcx>> SInto<S, NullOp> for NullOp<'tcx>

Source§

fn sinto(&self, s: &S) -> NullOp

Source§

impl<'tcx, S: UnderOwnerState<'tcx> + HasMir<'tcx>> SInto<S, Operand> for Operand<'tcx>

Source§

fn sinto(&self, s: &S) -> Operand

Source§

impl<'tcx, S: UnderOwnerState<'tcx> + HasMir<'tcx>> SInto<S, Rvalue> for Rvalue<'tcx>

Source§

fn sinto(&self, s: &S) -> Rvalue

Source§

impl<'tcx, S: UnderOwnerState<'tcx> + HasMir<'tcx>> SInto<S, StatementKind> for StatementKind<'tcx>

Source§

fn sinto(&self, s: &S) -> StatementKind

Source§

impl<'tcx, S: UnderOwnerState<'tcx> + HasMir<'tcx>> SInto<S, TerminatorKind> for TerminatorKind<'tcx>

Source§

fn sinto(&self, s: &S) -> TerminatorKind

Source§

impl<'tcx, S: UnderOwnerState<'tcx> + HasMir<'tcx>> SInto<S, BasicBlockData> for BasicBlockData<'tcx>

Source§

fn sinto(&self, s: &S) -> BasicBlockData

Source§

impl<'tcx, S: UnderOwnerState<'tcx> + HasMir<'tcx>> SInto<S, CopyNonOverlapping> for CopyNonOverlapping<'tcx>

Source§

fn sinto(&self, s: &S) -> CopyNonOverlapping

Source§

impl<'tcx, S: UnderOwnerState<'tcx> + HasMir<'tcx>> SInto<S, Place> for Place<'tcx>

Source§

fn sinto(&self, s: &S) -> Place

Source§

impl<'tcx, S: UnderOwnerState<'tcx> + HasMir<'tcx>> SInto<S, Statement> for Statement<'tcx>

Source§

fn sinto(&self, s: &S) -> Statement

Source§

impl<'tcx, S: UnderOwnerState<'tcx> + HasMir<'tcx>> SInto<S, Terminator> for Terminator<'tcx>

Source§

fn sinto(&self, s: &S) -> Terminator

Source§

impl<'tcx, S: UnderOwnerState<'tcx> + HasThir<'tcx>> SInto<S, PatRangeBoundary> for PatRangeBoundary<'tcx>

Source§

fn sinto(&self, state: &S) -> PatRangeBoundary

Source§

impl<'tcx, S: UnderOwnerState<'tcx> + HasThir<'tcx>> SInto<S, ScopeData> for ScopeData

Source§

fn sinto(&self, gstate: &S) -> ScopeData

Source§

impl<'tcx, S: UnderOwnerState<'tcx> + HasThir<'tcx>> SInto<S, Ascription> for Ascription<'tcx>

Source§

fn sinto(&self, gstate: &S) -> Ascription

Source§

impl<'tcx, S: UnderOwnerState<'tcx> + HasThir<'tcx>> SInto<S, PatRange> for PatRange<'tcx>

Source§

fn sinto(&self, state: &S) -> PatRange

Source§

impl<'tcx, S: UnderOwnerState<'tcx> + HasThir<'tcx>> SInto<S, Scope> for Scope

Source§

fn sinto(&self, gstate: &S) -> Scope

Source§

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, AdtKind> for AdtKind

Source§

fn sinto(&self, _s: &S) -> AdtKind

Source§

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, AliasRelationDirection> for AliasRelationDirection

Source§

fn sinto(&self, _tcx: &S) -> AliasRelationDirection

Source§

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, BoundRegionKind> for BoundRegionKind

Source§

fn sinto(&self, s: &S) -> BoundRegionKind

Source§

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, BoundTyKind> for BoundTyKind

Source§

fn sinto(&self, s: &S) -> BoundTyKind

Source§

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, BoundVariableKind> for BoundVariableKind

Source§

fn sinto(&self, tcx: &S) -> BoundVariableKind

Source§

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, CanonicalTyVarKind> for CanonicalTyVarKind

Source§

fn sinto(&self, gstate: &S) -> CanonicalTyVarKind

Source§

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, CanonicalVarInfo> for CanonicalVarKind<'tcx>

Source§

fn sinto(&self, gstate: &S) -> CanonicalVarInfo

Source§

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, ClosureKind> for ClosureKind

Source§

fn sinto(&self, _tcx: &S) -> ClosureKind

Source§

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, DiscriminantDefinition> for VariantDiscr

Source§

fn sinto(&self, gstate: &S) -> DiscriminantDefinition

Source§

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, ExistentialPredicate> for ExistentialPredicate<'tcx>

Source§

fn sinto(&self, state: &S) -> ExistentialPredicate

Source§

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, FnRetTy> for FnRetTy<'tcx>

Source§

fn sinto(&self, tcx: &S) -> FnRetTy

Source§

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, GenericArg> for GenericArg<'tcx>

Source§

fn sinto(&self, s: &S) -> GenericArg

Source§

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, GenericArg> for GenericArgKind<'tcx>

Source§

fn sinto(&self, s: &S) -> GenericArg

Source§

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, ImplPolarity> for ImplPolarity

Source§

fn sinto(&self, tcx: &S) -> ImplPolarity

Source§

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, IsAsync> for IsAsync

Source§

fn sinto(&self, _s: &S) -> IsAsync

Source§

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, LateParamRegionKind> for LateParamRegionKind

Source§

fn sinto(&self, s: &S) -> LateParamRegionKind

Source§

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, RegionKind> for RegionKind<'tcx>

Source§

fn sinto(&self, gstate: &S) -> RegionKind

Source§

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, Res> for Res

Source§

fn sinto(&self, s: &S) -> Res

Source§

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, Term> for Term<'tcx>

Source§

fn sinto(&self, s: &S) -> Term

Source§

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, TyKind> for TyKind<'tcx>

Source§

fn sinto(&self, s: &S) -> TyKind

Source§

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, UserType> for UserType<'tcx>

Source§

fn sinto(&self, _s: &S) -> UserType

Source§

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, VariantData> for VariantData<'tcx>

Source§

fn sinto(&self, tcx: &S) -> VariantData

Source§

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, Box<Ty>> for Ty<'tcx>

Source§

fn sinto(&self, s: &S) -> Box<Ty>

Source§

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, Vec<GenericArg>> for GenericArgsRef<'tcx>

Source§

fn sinto(&self, s: &S) -> Vec<GenericArg>

Source§

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, Vec<Clause>> for GenericBounds<'tcx>

Source§

fn sinto(&self, s: &S) -> Vec<Clause>

Source§

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, AdtDef> for AdtDef<'tcx>

Source§

fn sinto(&self, s: &S) -> AdtDef

Source§

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, BoundRegion> for BoundRegion

Source§

fn sinto(&self, s: &S) -> BoundRegion

Source§

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, BoundTy> for BoundTy

Source§

fn sinto(&self, s: &S) -> BoundTy

Source§

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, CanonicalUserTypeAnnotation> for CanonicalUserTypeAnnotation<'tcx>

Source§

fn sinto(&self, gstate: &S) -> CanonicalUserTypeAnnotation

Source§

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, Clause> for Clause<'tcx>

Source§

fn sinto(&self, s: &S) -> Clause

Source§

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, Clause> for PolyTraitPredicate<'tcx>

Source§

fn sinto(&self, s: &S) -> Clause

Source§

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, CoercePredicate> for CoercePredicate<'tcx>

Source§

fn sinto(&self, tcx: &S) -> CoercePredicate

Source§

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, ConstOperand> for ConstOperand<'tcx>

Source§

fn sinto(&self, s: &S) -> ConstOperand

Source§

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, Decorated<ConstantExprKind>> for Const<'tcx>

This impl is used in THIR patterns.

Source§

fn sinto(&self, s: &S) -> ConstantExpr

Source§

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, Decorated<ConstantExprKind>> for Const<'tcx>

Source§

fn sinto(&self, s: &S) -> ConstantExpr

Source§

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, DiscriminantValue> for Discr<'tcx>

Source§

fn sinto(&self, gstate: &S) -> DiscriminantValue

Source§

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, EarlyParamRegion> for EarlyParamRegion

Source§

fn sinto(&self, s: &S) -> EarlyParamRegion

Source§

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, ExistentialProjection> for ExistentialProjection<TyCtxt<'tcx>>

Source§

fn sinto(&self, state: &S) -> ExistentialProjection

Source§

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, ExistentialTraitRef> for ExistentialTraitRef<TyCtxt<'tcx>>

Source§

fn sinto(&self, state: &S) -> ExistentialTraitRef

Source§

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, FieldDef> for FieldDef

Source§

fn sinto(&self, s: &S) -> FieldDef

Source§

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, FnDecl> for FnDecl<'tcx>

Source§

fn sinto(&self, tcx: &S) -> FnDecl

Source§

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, FnHeader> for FnHeader

Source§

fn sinto(&self, tcx: &S) -> FnHeader

Source§

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, FnSig> for FnSig<'tcx>

Source§

fn sinto(&self, tcx: &S) -> FnSig

Source§

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, GenericParamDef> for GenericParamDef

Source§

fn sinto(&self, s: &S) -> GenericParamDef

Source§

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, GenericPredicates> for GenericPredicates<'tcx>

Source§

fn sinto(&self, s: &S) -> GenericPredicates

Source§

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, HirFieldDef> for FieldDef<'tcx>

Source§

fn sinto(&self, s: &S) -> HirFieldDef

Source§

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, ItemRef> for TraitRef<'tcx>

Source§

fn sinto(&self, s: &S) -> TraitRef

Source§

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, LateParamRegion> for LateParamRegion

Source§

fn sinto(&self, s: &S) -> LateParamRegion

Source§

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, LocalDecl> for LocalDecl<'tcx>

Source§

fn sinto(&self, s: &S) -> LocalDecl

Source§

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, LocalIdent> for LocalVarId

Source§

fn sinto(&self, s: &S) -> LocalIdent

Source§

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, ParamTy> for ParamTy

Source§

fn sinto(&self, gstate: &S) -> ParamTy

Source§

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, PathSegment> for PathSegment<'tcx>

Source§

fn sinto(&self, s: &S) -> PathSegment

Source§

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, Predicate> for Predicate<'tcx>

Source§

fn sinto(&self, s: &S) -> Predicate

Source§

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, Region> for Region<'tcx>

Source§

fn sinto(&self, s: &S) -> Region

Source§

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, ReprOptions> for ReprOptions

Source§

fn sinto(&self, s: &S) -> ReprOptions

Source§

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, SourceInfo> for SourceInfo

Source§

fn sinto(&self, s: &S) -> SourceInfo

Source§

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, SourceScopeData> for SourceScopeData<'tcx>

Source§

fn sinto(&self, s: &S) -> SourceScopeData

Source§

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, SubtypePredicate> for SubtypePredicate<'tcx>

Source§

fn sinto(&self, tcx: &S) -> SubtypePredicate

Source§

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, TraitPredicate> for TraitPredicate<'tcx>

Source§

fn sinto(&self, tcx: &S) -> TraitPredicate

Source§

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, Ty> for Ty<'tcx>

Source§

fn sinto(&self, s: &S) -> Ty

Source§

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, TyFnSig> for FnSig<'tcx>

Source§

fn sinto(&self, s: &S) -> TyFnSig

Source§

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, TyGenerics> for Generics

Source§

fn sinto(&self, state: &S) -> TyGenerics

Source§

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, TypeAndMut> for TypeAndMut<'tcx>

Source§

fn sinto(&self, gstate: &S) -> TypeAndMut

Source§

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, UsePath> for UsePath<'tcx>

Source§

fn sinto(&self, s: &S) -> UsePath

Source§

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, UserArgs> for UserArgs<'tcx>

Source§

fn sinto(&self, gstate: &S) -> UserArgs

Source§

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, UserSelfTy> for UserSelfTy<'tcx>

Source§

fn sinto(&self, gstate: &S) -> UserSelfTy

Source§

impl<'tcx, S: UnderOwnerState<'tcx>, Body: IsBody> SInto<S, Vec<Variant<Body>>> for EnumDef<'tcx>

Source§

fn sinto(&self, s: &S) -> EnumDef<Body>

Source§

impl<'tcx, S: UnderOwnerState<'tcx>, Body: IsBody> SInto<S, ImplItem<Body>> for ImplItemId

Source§

fn sinto(&self, s: &S) -> ImplItem<Body>

Source§

impl<'tcx, S: UnderOwnerState<'tcx>, Body: IsBody> SInto<S, Body> for BodyId

Source§

fn sinto(&self, s: &S) -> Body

Source§

impl<'tcx, S: UnderOwnerState<'tcx>, T1, T2> SInto<S, Binder<T2>> for Binder<'tcx, T1>
where T1: SInto<StateWithBinder<'tcx>, T2>,

Source§

fn sinto(&self, s: &S) -> Binder<T2>

Source§

impl<'tcx, S: UnderOwnerState<'tcx>, T, U> SInto<S, OutlivesPredicate<U>> for OutlivesPredicate<'tcx, T>
where T: SInto<S, U>,

Source§

fn sinto(&self, s: &S) -> OutlivesPredicate<U>

Source§

impl<'tcx, S: UnderOwnerState<'tcx>, T: SInto<S, U>, U> SInto<S, Canonical<U>> for Canonical<'tcx, T>

Source§

fn sinto(&self, s: &S) -> Canonical<U>

Source§

impl<'tcx, S: UnderOwnerState<'tcx>, T: SInto<S, U>, U> SInto<S, Placeholder<U>> for Placeholder<T>

Source§

fn sinto(&self, s: &S) -> Placeholder<U>

Source§

impl<'x: 'tcx, 'tcx, S: UnderOwnerState<'tcx>> SInto<S, Ty> for Ty<'x>

Source§

fn sinto(self: &Ty<'x>, s: &S) -> Ty

Source§

impl<S> SInto<S, AdtFlags> for AdtFlags

Source§

fn sinto(&self, _: &S) -> AdtFlags

Source§

impl<S> SInto<S, Align> for Align

Source§

fn sinto(&self, _: &S) -> Align

Source§

impl<S> SInto<S, AttrStyle> for AttrStyle

Source§

fn sinto(&self, _s: &S) -> AttrStyle

Source§

impl<S> SInto<S, BasicBlock> for BasicBlock

Source§

fn sinto(&self, _s: &S) -> BasicBlock

Source§

impl<S> SInto<S, BorrowKind> for BorrowKind

Source§

fn sinto(&self, gstate: &S) -> BorrowKind

Source§

impl<S> SInto<S, ByRef> for ByRef

Source§

fn sinto(&self, s: &S) -> ByRef

Source§

impl<S> SInto<S, CommentKind> for CommentKind

Source§

fn sinto(&self, _s: &S) -> CommentKind

Source§

impl<S> SInto<S, Constness> for Constness

Source§

fn sinto(&self, _s: &S) -> Constness

Source§

impl<S> SInto<S, CoverageKind> for CoverageKind

Source§

fn sinto(&self, _: &S) -> CoverageKind

Source§

impl<S> SInto<S, CtorKind> for CtorKind

Source§

fn sinto(&self, _s: &S) -> CtorKind

Source§

impl<S> SInto<S, CtorOf> for CtorOf

Source§

fn sinto(&self, _s: &S) -> CtorOf

Source§

impl<S> SInto<S, DefKind> for DefKind

Source§

fn sinto(&self, tcx: &S) -> DefKind

Source§

impl<S> SInto<S, Defaultness> for Defaultness

Source§

fn sinto(&self, tcx: &S) -> Defaultness

Source§

impl<S> SInto<S, DelimSpan> for DelimSpan

Source§

fn sinto(&self, _: &S) -> DelimSpan

Source§

impl<S> SInto<S, Delimiter> for Delimiter

Source§

fn sinto(&self, _s: &S) -> Delimiter

Source§

impl<S> SInto<S, DynKind> for DynKind

Source§

fn sinto(&self, _s: &S) -> DynKind

Source§

impl<S> SInto<S, ErrorGuaranteed> for ErrorGuaranteed

Source§

fn sinto(&self, _: &S) -> ErrorGuaranteed

Source§

impl<S> SInto<S, FakeBorrowKind> for FakeBorrowKind

Source§

fn sinto(&self, _s: &S) -> FakeBorrowKind

Source§

impl<S> SInto<S, FakeReadCause> for FakeReadCause

Source§

fn sinto(&self, _: &S) -> FakeReadCause

Source§

impl<S> SInto<S, FieldIdx> for FieldIdx

Source§

fn sinto(&self, _s: &S) -> FieldIdx

Source§

impl<S> SInto<S, FileName> for FileName

Source§

fn sinto(&self, gstate: &S) -> FileName

Source§

impl<S> SInto<S, FloatTy> for FloatTy

Source§

fn sinto(&self, _s: &S) -> FloatTy

Source§

impl<S> SInto<S, HeaderSafety> for HeaderSafety

Source§

fn sinto(&self, _s: &S) -> HeaderSafety

Source§

impl<S> SInto<S, ImplicitSelfKind> for ImplicitSelfKind

Source§

fn sinto(&self, _s: &S) -> ImplicitSelfKind

Source§

impl<S> SInto<S, InlineAsmOptions> for InlineAsmOptions

Source§

fn sinto(&self, _: &S) -> InlineAsmOptions

Source§

impl<S> SInto<S, InlineAsmTemplatePiece> for InlineAsmTemplatePiece

Source§

fn sinto(&self, _: &S) -> InlineAsmTemplatePiece

Source§

impl<S> SInto<S, IntTy> for IntTy

Source§

fn sinto(&self, _s: &S) -> IntTy

Source§

impl<S> SInto<S, IntegerType> for IntegerType

Source§

fn sinto(&self, _: &S) -> IntegerType

Source§

impl<S> SInto<S, InvisibleOrigin> for InvisibleOrigin

Source§

fn sinto(&self, _: &S) -> InvisibleOrigin

Source§

impl<S> SInto<S, IsAuto> for IsAuto

Source§

fn sinto(&self, _s: &S) -> IsAuto

Source§

impl<S> SInto<S, LifetimeParamKind> for LifetimeParamKind

Source§

fn sinto(&self, _s: &S) -> LifetimeParamKind

Source§

impl<S> SInto<S, Local> for Local

Source§

fn sinto(&self, _s: &S) -> Local

Source§

impl<S> SInto<S, MacroKind> for MacroKind

Source§

fn sinto(&self, _s: &S) -> MacroKind

Source§

impl<S> SInto<S, MissingLifetimeKind> for MissingLifetimeKind

Source§

fn sinto(&self, _: &S) -> MissingLifetimeKind

Source§

impl<S> SInto<S, MutBorrowKind> for MutBorrowKind

Source§

fn sinto(&self, _s: &S) -> MutBorrowKind

Source§

impl<S> SInto<S, NonMacroAttrKind> for NonMacroAttrKind

Source§

fn sinto(&self, s: &S) -> NonMacroAttrKind

Source§

impl<S> SInto<S, PointerCoercion> for PointerCoercion

Source§

fn sinto(&self, gstate: &S) -> PointerCoercion

Source§

impl<S> SInto<S, PrimTy> for PrimTy

Source§

fn sinto(&self, s: &S) -> PrimTy

Source§

impl<S> SInto<S, RangeEnd> for RangeEnd

Source§

fn sinto(&self, _s: &S) -> RangeEnd

Source§

impl<S> SInto<S, RealFileName> for RealFileName

Source§

fn sinto(&self, _s: &S) -> RealFileName

Source§

impl<S> SInto<S, ReprFlags> for ReprFlags

Source§

fn sinto(&self, _: &S) -> ReprFlags

Source§

impl<S> SInto<S, RetagKind> for RetagKind

Source§

fn sinto(&self, _: &S) -> RetagKind

Source§

impl<S> SInto<S, Safety> for Safety

Source§

fn sinto(&self, _s: &S) -> Safety

Source§

impl<S> SInto<S, SourceScope> for SourceScope

Source§

fn sinto(&self, _s: &S) -> SourceScope

Source§

impl<S> SInto<S, StrStyle> for StrStyle

Source§

fn sinto(&self, gstate: &S) -> StrStyle

Source§

impl<S> SInto<S, UintTy> for UintTy

Source§

fn sinto(&self, _s: &S) -> UintTy

Source§

impl<S> SInto<S, UnwindTerminateReason> for UnwindTerminateReason

Source§

fn sinto(&self, _: &S) -> UnwindTerminateReason

Source§

impl<S> SInto<S, UserTypeAnnotationIndex> for UserTypeAnnotationIndex

Source§

fn sinto(&self, _s: &S) -> UserTypeAnnotationIndex

Source§

impl<S> SInto<S, UserTypeProjection> for UserTypeProjection

Source§

fn sinto(&self, _: &S) -> UserTypeProjection

Source§

impl<S> SInto<S, Variance> for Variance

Source§

fn sinto(&self, _s: &S) -> Variance

Source§

impl<S> SInto<S, bool> for Recovered

Source§

fn sinto(&self, _s: &S) -> bool

Source§

impl<S> SInto<S, bool> for bool

Source§

fn sinto(&self, _: &S) -> bool

Source§

impl<S> SInto<S, bool> for Mutability

Source§

fn sinto(&self, _s: &S) -> Mutability

Source§

impl<S> SInto<S, char> for char

Source§

fn sinto(&self, _: &S) -> char

Source§

impl<S> SInto<S, i8> for i8

Source§

fn sinto(&self, _: &S) -> i8

Source§

impl<S> SInto<S, i16> for i16

Source§

fn sinto(&self, _: &S) -> i16

Source§

impl<S> SInto<S, i32> for i32

Source§

fn sinto(&self, _: &S) -> i32

Source§

impl<S> SInto<S, i64> for i64

Source§

fn sinto(&self, _: &S) -> i64

Source§

impl<S> SInto<S, i128> for i128

Source§

fn sinto(&self, _: &S) -> i128

Source§

impl<S> SInto<S, isize> for isize

Source§

fn sinto(&self, _: &S) -> isize

Source§

impl<S> SInto<S, u8> for u8

Source§

fn sinto(&self, _: &S) -> u8

Source§

impl<S> SInto<S, u16> for u16

Source§

fn sinto(&self, _: &S) -> u16

Source§

impl<S> SInto<S, u32> for u32

Source§

fn sinto(&self, _: &S) -> u32

Source§

impl<S> SInto<S, u64> for u64

Source§

fn sinto(&self, _: &S) -> u64

Source§

impl<S> SInto<S, u64> for AllocId

Source§

fn sinto(&self, _: &S) -> u64

Source§

impl<S> SInto<S, u64> for Hash64

Source§

fn sinto(&self, _: &S) -> u64

Source§

impl<S> SInto<S, u128> for u128

Source§

fn sinto(&self, _: &S) -> u128

Source§

impl<S> SInto<S, u128> for Pu128

Source§

fn sinto(&self, _s: &S) -> u128

Source§

impl<S> SInto<S, usize> for usize

Source§

fn sinto(&self, _: &S) -> usize

Source§

impl<S> SInto<S, usize> for FirstStatementIndex

Source§

fn sinto(&self, _: &S) -> FirstStatementIndex

Source§

impl<S> SInto<S, usize> for BoundVar

Source§

fn sinto(&self, _: &S) -> BoundVar

Source§

impl<S> SInto<S, usize> for DebruijnIndex

Source§

fn sinto(&self, _: &S) -> DebruijnIndex

Source§

impl<S> SInto<S, usize> for ItemLocalId

Source§

fn sinto(&self, _: &S) -> ItemLocalId

Source§

impl<S> SInto<S, usize> for RegionVid

Source§

fn sinto(&self, _: &S) -> RegionVid

Source§

impl<S> SInto<S, usize> for UniverseIndex

Source§

fn sinto(&self, _: &S) -> UniverseIndex

Source§

impl<S> SInto<S, usize> for VariantIdx

Source§

fn sinto(&self, _: &S) -> VariantIdx

Source§

impl<S> SInto<S, String> for String

Source§

fn sinto(&self, _: &S) -> String

Source§

impl<S> SInto<S, String> for LazyAttrTokenStream

Source§

fn sinto(&self, st: &S) -> String

Source§

impl<S> SInto<S, BindingMode> for BindingMode

Source§

fn sinto(&self, s: &S) -> BindingMode

Source§

impl<S> SInto<S, DelimArgs> for DelimArgs

Source§

fn sinto(&self, gstate: &S) -> DelimArgs

Source§

impl<S> SInto<S, ParamConst> for ParamConst

Source§

fn sinto(&self, gstate: &S) -> ParamConst

Source§

impl<S> SInto<S, PromotedId> for Promoted

Source§

fn sinto(&self, _s: &S) -> PromotedId

Source§

impl<S, D, T: SInto<S, D>> SInto<S, Option<D>> for Option<T>

Source§

fn sinto(&self, s: &S) -> Option<D>

Source§

impl<S, D, T: SInto<S, D>> SInto<S, D> for &T

Source§

fn sinto(&self, s: &S) -> D

Source§

impl<S, D, T: SInto<S, D>> SInto<S, D> for Box<T>

Source§

fn sinto(&self, s: &S) -> D

Source§

impl<S, D: Clone, T: SInto<S, D>> SInto<S, Vec<D>> for [T]

Source§

fn sinto(&self, s: &S) -> Vec<D>

Source§

impl<S, D: Clone, T: SInto<S, D>> SInto<S, Vec<D>> for Box<[T]>

Source§

fn sinto(&self, s: &S) -> Vec<D>

Source§

impl<S, D: Clone, T: SInto<S, D>> SInto<S, Vec<D>> for Vec<T>

Source§

fn sinto(&self, s: &S) -> Vec<D>

Source§

impl<S, J: Idx, I: Idx + SInto<S, J>, U: Clone, T: SInto<S, U>> SInto<S, IndexVec<J, U>> for IndexSlice<I, T>

Source§

fn sinto(&self, s: &S) -> IndexVec<J, U>

Source§

impl<S, LL, RR, L: SInto<S, LL>, R: SInto<S, RR>> SInto<S, (LL, RR)> for (L, R)

Source§

fn sinto(&self, s: &S) -> (LL, RR)

Source§

impl<S, T: SInto<S, U>, U> SInto<S, Visibility<U>> for Visibility<T>

Source§

fn sinto(&self, s: &S) -> Visibility<U>

Source§

impl<S, U, T: SInto<S, U>> SInto<S, Vec<U>> for List<T>

Source§

fn sinto(&self, s: &S) -> Vec<U>

Implementors§

Source§

impl<'s, S: BaseState<'s>> SInto<S, DefId> for DefId

Source§

impl<'tcx, S> SInto<S, PathBuf> for PathBuf

Source§

impl<'tcx, S: BaseState<'tcx>> SInto<S, DefId> for OwnerId

Source§

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, DropData> for DropData<'tcx>

Source§

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, ImplExprAtom> for ImplExprAtom<'tcx>

Source§

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, ImplExprPathChunk> for PathChunk<'tcx>

Source§

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, DefId> for LocalDefId

Source§

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, ImplExpr> for ImplExpr<'tcx>

Source§

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, PredicateId> for PredicateId

A PredicateId can be mapped to itself via SInto. This is useful for mirroring the type [traits::search_clause::PathChunk] as traits::ImplExprPathChunk.

Source§

impl<S> SInto<S, OwnerId> for OwnerId