Trait hax_frontend_exporter::sinto::SInto
source · pub trait SInto<S, To> {
// Required method
fn sinto(&self, s: &S) -> To;
}
Required Methods§
Implementations on Foreign Types§
source§impl<'a, S> SInto<S, ConstAllocation> for ConstAllocation<'a>
impl<'a, S> SInto<S, ConstAllocation> for ConstAllocation<'a>
fn sinto(&self, _: &S) -> ConstAllocation
source§impl<'a, S> SInto<S, HirGenericArgs> for GenericArgs<'a>
impl<'a, S> SInto<S, HirGenericArgs> for GenericArgs<'a>
fn sinto(&self, _: &S) -> HirGenericArgs
source§impl<'a, S: BaseState<'a>> SInto<S, DisambiguatedDefPathItem> for DisambiguatedDefPathData
impl<'a, S: BaseState<'a>> SInto<S, DisambiguatedDefPathItem> for DisambiguatedDefPathData
fn sinto(&self, s: &S) -> DisambiguatedDefPathItem
source§impl<'a, S: UnderOwnerState<'a>, Body: IsBody> SInto<S, ForeignItem<Body>> for ForeignItemRef
impl<'a, S: UnderOwnerState<'a>, Body: IsBody> SInto<S, ForeignItem<Body>> for ForeignItemRef
fn sinto(&self, s: &S) -> ForeignItem<Body>
source§impl<'a, S: UnderOwnerState<'a>, Body: IsBody> SInto<S, TraitItem<Body>> for TraitItemRef
impl<'a, S: UnderOwnerState<'a>, Body: IsBody> SInto<S, TraitItem<Body>> for TraitItemRef
source§impl<'ctx, S: BaseState<'ctx>> SInto<S, DefPathItem> for DefPathData
impl<'ctx, S: BaseState<'ctx>> SInto<S, DefPathItem> for DefPathData
fn sinto(&self, state: &S) -> DefPathItem
source§impl<'tcx, Body: IsBody, S: UnderOwnerState<'tcx>> SInto<S, ConstArgKind<Body>> for ConstArgKind<'tcx>
impl<'tcx, Body: IsBody, S: UnderOwnerState<'tcx>> SInto<S, ConstArgKind<Body>> for ConstArgKind<'tcx>
fn sinto(&self, s: &S) -> ConstArgKind<Body>
source§impl<'tcx, Body: IsBody, S: UnderOwnerState<'tcx>> SInto<S, ForeignItemKind<Body>> for ForeignItemKind<'tcx>
impl<'tcx, Body: IsBody, S: UnderOwnerState<'tcx>> SInto<S, ForeignItemKind<Body>> for ForeignItemKind<'tcx>
fn sinto(&self, tcx: &S) -> ForeignItemKind<Body>
source§impl<'tcx, Body: IsBody, S: UnderOwnerState<'tcx>> SInto<S, GenericParamKind<Body>> for GenericParamKind<'tcx>
impl<'tcx, Body: IsBody, S: UnderOwnerState<'tcx>> SInto<S, GenericParamKind<Body>> for GenericParamKind<'tcx>
fn sinto(&self, tcx: &S) -> GenericParamKind<Body>
source§impl<'tcx, Body: IsBody, S: UnderOwnerState<'tcx>> SInto<S, ImplItemKind<Body>> for ImplItemKind<'tcx>
impl<'tcx, Body: IsBody, S: UnderOwnerState<'tcx>> SInto<S, ImplItemKind<Body>> for ImplItemKind<'tcx>
fn sinto(&self, s: &S) -> ImplItemKind<Body>
source§impl<'tcx, Body: IsBody, S: UnderOwnerState<'tcx>> SInto<S, ItemKind<Body>> for ItemKind<'tcx>
impl<'tcx, Body: IsBody, S: UnderOwnerState<'tcx>> SInto<S, ItemKind<Body>> for ItemKind<'tcx>
source§impl<'tcx, Body: IsBody, S: UnderOwnerState<'tcx>> SInto<S, TraitItemKind<Body>> for TraitItemKind<'tcx>
impl<'tcx, Body: IsBody, S: UnderOwnerState<'tcx>> SInto<S, TraitItemKind<Body>> for TraitItemKind<'tcx>
fn sinto(&self, tcx: &S) -> TraitItemKind<Body>
source§impl<'tcx, Body: IsBody, S: UnderOwnerState<'tcx>> SInto<S, ConstArg<Body>> for ConstArg<'tcx>
impl<'tcx, Body: IsBody, S: UnderOwnerState<'tcx>> SInto<S, ConstArg<Body>> for ConstArg<'tcx>
source§impl<'tcx, Body: IsBody, S: UnderOwnerState<'tcx>> SInto<S, ForeignItem<Body>> for ForeignItem<'tcx>
impl<'tcx, Body: IsBody, S: UnderOwnerState<'tcx>> SInto<S, ForeignItem<Body>> for ForeignItem<'tcx>
fn sinto(&self, tcx: &S) -> ForeignItem<Body>
source§impl<'tcx, Body: IsBody, S: UnderOwnerState<'tcx>> SInto<S, GenericParam<Body>> for GenericParam<'tcx>
impl<'tcx, Body: IsBody, S: UnderOwnerState<'tcx>> SInto<S, GenericParam<Body>> for GenericParam<'tcx>
fn sinto(&self, s: &S) -> GenericParam<Body>
source§impl<'tcx, Body: IsBody, S: UnderOwnerState<'tcx>> SInto<S, Generics<Body>> for Generics<'tcx>
impl<'tcx, Body: IsBody, S: UnderOwnerState<'tcx>> SInto<S, Generics<Body>> for Generics<'tcx>
source§impl<'tcx, Body: IsBody, S: UnderOwnerState<'tcx>> SInto<S, ImplItem<Body>> for ImplItem<'tcx>
impl<'tcx, Body: IsBody, S: UnderOwnerState<'tcx>> SInto<S, ImplItem<Body>> for ImplItem<'tcx>
source§impl<'tcx, Body: IsBody, S: UnderOwnerState<'tcx>> SInto<S, OpaqueTy<Body>> for OpaqueTy<'tcx>
impl<'tcx, Body: IsBody, S: UnderOwnerState<'tcx>> SInto<S, OpaqueTy<Body>> for OpaqueTy<'tcx>
source§impl<'tcx, Body: IsBody, S: UnderOwnerState<'tcx>> SInto<S, TraitItem<Body>> for TraitItem<'tcx>
impl<'tcx, Body: IsBody, S: UnderOwnerState<'tcx>> SInto<S, TraitItem<Body>> for TraitItem<'tcx>
source§impl<'tcx, KIND, S: UnderOwnerState<'tcx> + HasMir<'tcx>> SInto<S, MirBody<KIND>> for Body<'tcx>
impl<'tcx, KIND, S: UnderOwnerState<'tcx> + HasMir<'tcx>> SInto<S, MirBody<KIND>> for Body<'tcx>
source§impl<'tcx, S> SInto<S, BlockSafety> for BlockSafety
impl<'tcx, S> SInto<S, BlockSafety> for BlockSafety
fn sinto(&self, _s: &S) -> BlockSafety
source§impl<'tcx, S> SInto<S, Movability> for Movability
impl<'tcx, S> SInto<S, Movability> for Movability
fn sinto(&self, _s: &S) -> Movability
source§impl<'tcx, S> SInto<S, AssertMessage> for AssertMessage<'tcx>
impl<'tcx, S> SInto<S, AssertMessage> for AssertMessage<'tcx>
fn sinto(&self, _: &S) -> AssertMessage
source§impl<'tcx, S> SInto<S, CoroutineInfo> for CoroutineInfo<'tcx>
impl<'tcx, S> SInto<S, CoroutineInfo> for CoroutineInfo<'tcx>
fn sinto(&self, _: &S) -> CoroutineInfo
source§impl<'tcx, S> SInto<S, InlineAsmOperand> for InlineAsmOperand<'tcx>
impl<'tcx, S> SInto<S, InlineAsmOperand> for InlineAsmOperand<'tcx>
fn sinto(&self, _: &S) -> InlineAsmOperand
source§impl<'tcx, S> SInto<S, InstanceKind> for InstanceKind<'tcx>
impl<'tcx, S> SInto<S, InstanceKind> for InstanceKind<'tcx>
fn sinto(&self, _: &S) -> InstanceKind
source§impl<'tcx, S> SInto<S, VarDebugInfo> for VarDebugInfo<'tcx>
impl<'tcx, S> SInto<S, VarDebugInfo> for VarDebugInfo<'tcx>
fn sinto(&self, _: &S) -> VarDebugInfo
source§impl<'tcx, S> SInto<S, NormalizesTo> for NormalizesTo<'tcx>
impl<'tcx, S> SInto<S, NormalizesTo> for NormalizesTo<'tcx>
fn sinto(&self, _: &S) -> NormalizesTo
source§impl<'tcx, S> SInto<S, WhereEqPredicate> for WhereEqPredicate<'tcx>
impl<'tcx, S> SInto<S, WhereEqPredicate> for WhereEqPredicate<'tcx>
fn sinto(&self, _: &S) -> WhereEqPredicate
source§impl<'tcx, S> SInto<S, WhereRegionPredicate> for WhereRegionPredicate<'tcx>
impl<'tcx, S> SInto<S, WhereRegionPredicate> for WhereRegionPredicate<'tcx>
fn sinto(&self, _: &S) -> WhereRegionPredicate
source§impl<'tcx, S, D: Clone, T: SInto<S, D> + TypeFoldable<TyCtxt<'tcx>>> SInto<S, D> for EarlyBinder<'tcx, T>
impl<'tcx, S, D: Clone, T: SInto<S, D> + TypeFoldable<TyCtxt<'tcx>>> SInto<S, D> for EarlyBinder<'tcx, T>
source§impl<'tcx, S: BaseState<'tcx> + HasOwnerId> SInto<S, TypedConstantKind> for Const<'tcx>
impl<'tcx, S: BaseState<'tcx> + HasOwnerId> SInto<S, TypedConstantKind> for Const<'tcx>
fn sinto(&self, s: &S) -> TypedConstantKind
source§impl<'tcx, S: BaseState<'tcx>> SInto<S, AttrArgsEq> for AttrArgsEq
impl<'tcx, S: BaseState<'tcx>> SInto<S, AttrArgsEq> for AttrArgsEq
fn sinto(&self, tcx: &S) -> AttrArgsEq
source§impl<'tcx, S: BaseState<'tcx>> SInto<S, ImplTraitInTraitData> for ImplTraitInTraitData
impl<'tcx, S: BaseState<'tcx>> SInto<S, ImplTraitInTraitData> for ImplTraitInTraitData
fn sinto(&self, _s: &S) -> ImplTraitInTraitData
source§impl<'tcx, S: BaseState<'tcx>> SInto<S, InlineAttr> for InlineAttr
impl<'tcx, S: BaseState<'tcx>> SInto<S, InlineAttr> for InlineAttr
fn sinto(&self, _s: &S) -> InlineAttr
source§impl<'tcx, S: BaseState<'tcx>> SInto<S, LitFloatType> for LitFloatType
impl<'tcx, S: BaseState<'tcx>> SInto<S, LitFloatType> for LitFloatType
fn sinto(&self, gstate: &S) -> LitFloatType
source§impl<'tcx, S: BaseState<'tcx>> SInto<S, LitIntType> for LitIntType
impl<'tcx, S: BaseState<'tcx>> SInto<S, LitIntType> for LitIntType
fn sinto(&self, gstate: &S) -> LitIntType
source§impl<'tcx, S: BaseState<'tcx>> SInto<S, MetaItemLit> for MetaItemLit
impl<'tcx, S: BaseState<'tcx>> SInto<S, MetaItemLit> for MetaItemLit
fn sinto(&self, tcx: &S) -> MetaItemLit
source§impl<'tcx, S: BaseState<'tcx>> SInto<S, NormalAttr> for NormalAttr
impl<'tcx, S: BaseState<'tcx>> SInto<S, NormalAttr> for NormalAttr
fn sinto(&self, tcx: &S) -> NormalAttr
source§impl<'tcx, S: UnderBinderState<'tcx>> SInto<S, ClauseKind> for ClauseKind<'tcx>
impl<'tcx, S: UnderBinderState<'tcx>> SInto<S, ClauseKind> for ClauseKind<'tcx>
fn sinto(&self, tcx: &S) -> ClauseKind
source§impl<'tcx, S: UnderBinderState<'tcx>> SInto<S, PredicateKind> for PredicateKind<'tcx>
impl<'tcx, S: UnderBinderState<'tcx>> SInto<S, PredicateKind> for PredicateKind<'tcx>
fn sinto(&self, tcx: &S) -> PredicateKind
source§impl<'tcx, S: UnderBinderState<'tcx>> SInto<S, ProjectionPredicate> for ProjectionPredicate<'tcx>
impl<'tcx, S: UnderBinderState<'tcx>> SInto<S, ProjectionPredicate> for ProjectionPredicate<'tcx>
fn sinto(&self, s: &S) -> ProjectionPredicate
source§impl<'tcx, S: UnderOwnerState<'tcx> + HasMir<'tcx>> SInto<S, AggregateKind> for AggregateKind<'tcx>
impl<'tcx, S: UnderOwnerState<'tcx> + HasMir<'tcx>> SInto<S, AggregateKind> for AggregateKind<'tcx>
fn sinto(&self, s: &S) -> AggregateKind
source§impl<'tcx, S: UnderOwnerState<'tcx> + HasMir<'tcx>> SInto<S, NonDivergingIntrinsic> for NonDivergingIntrinsic<'tcx>
impl<'tcx, S: UnderOwnerState<'tcx> + HasMir<'tcx>> SInto<S, NonDivergingIntrinsic> for NonDivergingIntrinsic<'tcx>
fn sinto(&self, s: &S) -> NonDivergingIntrinsic
source§impl<'tcx, S: UnderOwnerState<'tcx> + HasMir<'tcx>> SInto<S, StatementKind> for StatementKind<'tcx>
impl<'tcx, S: UnderOwnerState<'tcx> + HasMir<'tcx>> SInto<S, StatementKind> for StatementKind<'tcx>
fn sinto(&self, s: &S) -> StatementKind
source§impl<'tcx, S: UnderOwnerState<'tcx> + HasMir<'tcx>> SInto<S, TerminatorKind> for TerminatorKind<'tcx>
impl<'tcx, S: UnderOwnerState<'tcx> + HasMir<'tcx>> SInto<S, TerminatorKind> for TerminatorKind<'tcx>
fn sinto(&self, s: &S) -> TerminatorKind
source§impl<'tcx, S: UnderOwnerState<'tcx> + HasMir<'tcx>> SInto<S, BasicBlockData> for BasicBlockData<'tcx>
impl<'tcx, S: UnderOwnerState<'tcx> + HasMir<'tcx>> SInto<S, BasicBlockData> for BasicBlockData<'tcx>
fn sinto(&self, s: &S) -> BasicBlockData
source§impl<'tcx, S: UnderOwnerState<'tcx> + HasMir<'tcx>> SInto<S, CopyNonOverlapping> for CopyNonOverlapping<'tcx>
impl<'tcx, S: UnderOwnerState<'tcx> + HasMir<'tcx>> SInto<S, CopyNonOverlapping> for CopyNonOverlapping<'tcx>
fn sinto(&self, s: &S) -> CopyNonOverlapping
source§impl<'tcx, S: UnderOwnerState<'tcx> + HasMir<'tcx>> SInto<S, Terminator> for Terminator<'tcx>
impl<'tcx, S: UnderOwnerState<'tcx> + HasMir<'tcx>> SInto<S, Terminator> for Terminator<'tcx>
fn sinto(&self, s: &S) -> Terminator
source§impl<'tcx, S: UnderOwnerState<'tcx> + HasThir<'tcx>> SInto<S, PatRangeBoundary> for PatRangeBoundary<'tcx>
impl<'tcx, S: UnderOwnerState<'tcx> + HasThir<'tcx>> SInto<S, PatRangeBoundary> for PatRangeBoundary<'tcx>
fn sinto(&self, state: &S) -> PatRangeBoundary
source§impl<'tcx, S: UnderOwnerState<'tcx> + HasThir<'tcx>> SInto<S, Ascription> for Ascription<'tcx>
impl<'tcx, S: UnderOwnerState<'tcx> + HasThir<'tcx>> SInto<S, Ascription> for Ascription<'tcx>
fn sinto(&self, gstate: &S) -> Ascription
source§impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, AliasRelationDirection> for AliasRelationDirection
impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, AliasRelationDirection> for AliasRelationDirection
fn sinto(&self, _tcx: &S) -> AliasRelationDirection
source§impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, AssocItemKind> for AssocItemKind
impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, AssocItemKind> for AssocItemKind
fn sinto(&self, tcx: &S) -> AssocItemKind
source§impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, BoundRegionKind> for BoundRegionKind
impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, BoundRegionKind> for BoundRegionKind
fn sinto(&self, gstate: &S) -> BoundRegionKind
source§impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, BoundTyKind> for BoundTyKind
impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, BoundTyKind> for BoundTyKind
fn sinto(&self, gstate: &S) -> BoundTyKind
source§impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, BoundVariableKind> for BoundVariableKind
impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, BoundVariableKind> for BoundVariableKind
fn sinto(&self, tcx: &S) -> BoundVariableKind
source§impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, CanonicalTyVarKind> for CanonicalTyVarKind
impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, CanonicalTyVarKind> for CanonicalTyVarKind
fn sinto(&self, gstate: &S) -> CanonicalTyVarKind
source§impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, CanonicalVarInfo> for CanonicalVarKind<TyCtxt<'tcx>>
impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, CanonicalVarInfo> for CanonicalVarKind<TyCtxt<'tcx>>
fn sinto(&self, gstate: &S) -> CanonicalVarInfo
source§impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, ClosureKind> for ClosureKind
impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, ClosureKind> for ClosureKind
fn sinto(&self, _tcx: &S) -> ClosureKind
source§impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, DiscriminantDefinition> for VariantDiscr
impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, DiscriminantDefinition> for VariantDiscr
fn sinto(&self, gstate: &S) -> DiscriminantDefinition
source§impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, ExistentialPredicate> for ExistentialPredicate<'tcx>
impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, ExistentialPredicate> for ExistentialPredicate<'tcx>
fn sinto(&self, state: &S) -> ExistentialPredicate
source§impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, GenericArg> for GenericArg<'tcx>
impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, GenericArg> for GenericArg<'tcx>
fn sinto(&self, s: &S) -> GenericArg
source§impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, GenericArg> for GenericArgKind<'tcx>
impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, GenericArg> for GenericArgKind<'tcx>
fn sinto(&self, s: &S) -> GenericArg
source§impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, ImplPolarity> for ImplPolarity
impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, ImplPolarity> for ImplPolarity
fn sinto(&self, tcx: &S) -> ImplPolarity
source§impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, ImplSubject> for ImplSubject<'tcx>
impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, ImplSubject> for ImplSubject<'tcx>
fn sinto(&self, s: &S) -> ImplSubject
source§impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, LifetimeName> for LifetimeName
impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, LifetimeName> for LifetimeName
fn sinto(&self, tcx: &S) -> LifetimeName
source§impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, OpaqueTyOrigin> for OpaqueTyOrigin
impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, OpaqueTyOrigin> for OpaqueTyOrigin
fn sinto(&self, tcx: &S) -> OpaqueTyOrigin
source§impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, RegionKind> for RegionKind<'tcx>
impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, RegionKind> for RegionKind<'tcx>
fn sinto(&self, gstate: &S) -> RegionKind
source§impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, VariantData> for VariantData<'tcx>
impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, VariantData> for VariantData<'tcx>
fn sinto(&self, tcx: &S) -> VariantData
source§impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, FullDefKind> for DefKind
impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, FullDefKind> for DefKind
fn sinto(&self, s: &S) -> FullDefKind
source§impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, BoundRegion> for BoundRegion
impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, BoundRegion> for BoundRegion
fn sinto(&self, gstate: &S) -> BoundRegion
source§impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, CanonicalUserTypeAnnotation> for CanonicalUserTypeAnnotation<'tcx>
impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, CanonicalUserTypeAnnotation> for CanonicalUserTypeAnnotation<'tcx>
fn sinto(&self, gstate: &S) -> CanonicalUserTypeAnnotation
source§impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, Clause> for PolyTraitPredicate<'tcx>
impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, Clause> for PolyTraitPredicate<'tcx>
source§impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, ClosureArgs> for ClosureArgs<TyCtxt<'tcx>>
impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, ClosureArgs> for ClosureArgs<TyCtxt<'tcx>>
fn sinto(&self, s: &S) -> ClosureArgs
source§impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, CoercePredicate> for CoercePredicate<'tcx>
impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, CoercePredicate> for CoercePredicate<'tcx>
fn sinto(&self, tcx: &S) -> CoercePredicate
source§impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, Decorated<ConstantExprKind>> for Const<'tcx>
impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, Decorated<ConstantExprKind>> for Const<'tcx>
fn sinto(&self, s: &S) -> ConstantExpr
source§impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, Decorated<ConstantExprKind>> for Const<'tcx>
impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, Decorated<ConstantExprKind>> for Const<'tcx>
fn sinto(&self, s: &S) -> ConstantExpr
source§impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, DiscriminantValue> for Discr<'tcx>
impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, DiscriminantValue> for Discr<'tcx>
fn sinto(&self, gstate: &S) -> DiscriminantValue
source§impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, EarlyParamRegion> for EarlyParamRegion
impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, EarlyParamRegion> for EarlyParamRegion
fn sinto(&self, gstate: &S) -> EarlyParamRegion
source§impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, ExistentialProjection> for ExistentialProjection<TyCtxt<'tcx>>
impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, ExistentialProjection> for ExistentialProjection<TyCtxt<'tcx>>
fn sinto(&self, state: &S) -> ExistentialProjection
source§impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, ExistentialTraitRef> for ExistentialTraitRef<TyCtxt<'tcx>>
impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, ExistentialTraitRef> for ExistentialTraitRef<TyCtxt<'tcx>>
fn sinto(&self, state: &S) -> ExistentialTraitRef
source§impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, GenericParamDef> for GenericParamDef
impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, GenericParamDef> for GenericParamDef
fn sinto(&self, s: &S) -> GenericParamDef
source§impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, GenericPredicates> for GenericPredicates<'tcx>
impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, GenericPredicates> for GenericPredicates<'tcx>
fn sinto(&self, s: &S) -> GenericPredicates
source§impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, HirFieldDef> for FieldDef<'tcx>
impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, HirFieldDef> for FieldDef<'tcx>
fn sinto(&self, s: &S) -> HirFieldDef
source§impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, LateParamRegion> for LateParamRegion
impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, LateParamRegion> for LateParamRegion
fn sinto(&self, gstate: &S) -> LateParamRegion
source§impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, LocalIdent> for LocalVarId
impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, LocalIdent> for LocalVarId
fn sinto(&self, s: &S) -> LocalIdent
source§impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, PathSegment> for PathSegment<'tcx>
impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, PathSegment> for PathSegment<'tcx>
fn sinto(&self, s: &S) -> PathSegment
source§impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, ReprOptions> for ReprOptions
impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, ReprOptions> for ReprOptions
fn sinto(&self, s: &S) -> ReprOptions
source§impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, SubtypePredicate> for SubtypePredicate<'tcx>
impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, SubtypePredicate> for SubtypePredicate<'tcx>
fn sinto(&self, tcx: &S) -> SubtypePredicate
source§impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, TraitPredicate> for TraitPredicate<'tcx>
impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, TraitPredicate> for TraitPredicate<'tcx>
fn sinto(&self, tcx: &S) -> TraitPredicate
source§impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, TyGenerics> for Generics
impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, TyGenerics> for Generics
fn sinto(&self, state: &S) -> TyGenerics
source§impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, TypeAndMut> for TypeAndMut<'tcx>
impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, TypeAndMut> for TypeAndMut<'tcx>
fn sinto(&self, gstate: &S) -> TypeAndMut
source§impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, UserSelfTy> for UserSelfTy<'tcx>
impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, UserSelfTy> for UserSelfTy<'tcx>
fn sinto(&self, gstate: &S) -> UserSelfTy
source§impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, Constant> for ConstOperand<'tcx>
impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, Constant> for ConstOperand<'tcx>
source§impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, SourceInfo> for SourceInfo
impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, SourceInfo> for SourceInfo
fn sinto(&self, s: &S) -> SourceInfo
source§impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, SourceScopeData> for SourceScopeData<'tcx>
impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, SourceScopeData> for SourceScopeData<'tcx>
fn sinto(&self, s: &S) -> SourceScopeData
source§impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, SourceScopeLocalData> for SourceScopeLocalData
impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, SourceScopeLocalData> for SourceScopeLocalData
fn sinto(&self, s: &S) -> SourceScopeLocalData
source§impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, Vec<GenericArg>> for GenericArgsRef<'tcx>
impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, Vec<GenericArg>> for GenericArgsRef<'tcx>
source§impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, Vec<Clause>> for GenericBounds<'tcx>
impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, Vec<Clause>> for GenericBounds<'tcx>
source§impl<'tcx, S: UnderOwnerState<'tcx>, Body: IsBody> SInto<S, ImplItem<Body>> for ImplItemRef
impl<'tcx, S: UnderOwnerState<'tcx>, Body: IsBody> SInto<S, ImplItem<Body>> for ImplItemRef
source§impl<'tcx, S: UnderOwnerState<'tcx>, Body: IsBody> SInto<S, Vec<Variant<Body>>> for EnumDef<'tcx>
impl<'tcx, S: UnderOwnerState<'tcx>, Body: IsBody> SInto<S, Vec<Variant<Body>>> for EnumDef<'tcx>
source§impl<'tcx, S: UnderOwnerState<'tcx>, T1, T2> SInto<S, Binder<T2>> for Binder<'tcx, T1>where
T1: SInto<StateWithBinder<'tcx>, T2>,
impl<'tcx, S: UnderOwnerState<'tcx>, T1, T2> SInto<S, Binder<T2>> for Binder<'tcx, T1>where
T1: SInto<StateWithBinder<'tcx>, T2>,
source§impl<'tcx, S: UnderOwnerState<'tcx>, T, U> SInto<S, OutlivesPredicate<U>> for OutlivesPredicate<'tcx, T>where
T: SInto<S, U>,
impl<'tcx, S: UnderOwnerState<'tcx>, T, U> SInto<S, OutlivesPredicate<U>> for OutlivesPredicate<'tcx, T>where
T: SInto<S, U>,
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>
impl<'tcx, S: UnderOwnerState<'tcx>, T: SInto<S, U>, U> SInto<S, Canonical<U>> for Canonical<'tcx, T>
source§impl<'tcx, S: UnderOwnerState<'tcx>, T: SInto<S, U>, U> SInto<S, Placeholder<U>> for Placeholder<T>
impl<'tcx, S: UnderOwnerState<'tcx>, T: SInto<S, U>, U> SInto<S, Placeholder<U>> for Placeholder<T>
fn sinto(&self, s: &S) -> Placeholder<U>
source§impl<S> SInto<S, BinOpToken> for BinOpToken
impl<S> SInto<S, BinOpToken> for BinOpToken
fn sinto(&self, _s: &S) -> BinOpToken
source§impl<S> SInto<S, BorrowKind> for BorrowKind
impl<S> SInto<S, BorrowKind> for BorrowKind
fn sinto(&self, gstate: &S) -> BorrowKind
source§impl<S> SInto<S, CommentKind> for CommentKind
impl<S> SInto<S, CommentKind> for CommentKind
fn sinto(&self, _s: &S) -> CommentKind
source§impl<S> SInto<S, Defaultness> for Defaultness
impl<S> SInto<S, Defaultness> for Defaultness
fn sinto(&self, tcx: &S) -> Defaultness
source§impl<S> SInto<S, DesugaringKind> for DesugaringKind
impl<S> SInto<S, DesugaringKind> for DesugaringKind
fn sinto(&self, _s: &S) -> DesugaringKind
source§impl<S> SInto<S, FakeBorrowKind> for FakeBorrowKind
impl<S> SInto<S, FakeBorrowKind> for FakeBorrowKind
fn sinto(&self, _s: &S) -> FakeBorrowKind
source§impl<S> SInto<S, ImplicitSelfKind> for ImplicitSelfKind
impl<S> SInto<S, ImplicitSelfKind> for ImplicitSelfKind
fn sinto(&self, _s: &S) -> ImplicitSelfKind
source§impl<S> SInto<S, LifetimeParamKind> for LifetimeParamKind
impl<S> SInto<S, LifetimeParamKind> for LifetimeParamKind
fn sinto(&self, _s: &S) -> LifetimeParamKind
source§impl<S> SInto<S, MutBorrowKind> for MutBorrowKind
impl<S> SInto<S, MutBorrowKind> for MutBorrowKind
fn sinto(&self, _s: &S) -> MutBorrowKind
source§impl<S> SInto<S, NonMacroAttrKind> for NonMacroAttrKind
impl<S> SInto<S, NonMacroAttrKind> for NonMacroAttrKind
fn sinto(&self, s: &S) -> NonMacroAttrKind
source§impl<S> SInto<S, PointerCoercion> for PointerCoercion
impl<S> SInto<S, PointerCoercion> for PointerCoercion
fn sinto(&self, gstate: &S) -> PointerCoercion
source§impl<S> SInto<S, PredicateOrigin> for PredicateOrigin
impl<S> SInto<S, PredicateOrigin> for PredicateOrigin
fn sinto(&self, _s: &S) -> PredicateOrigin
source§impl<S> SInto<S, RealFileName> for RealFileName
impl<S> SInto<S, RealFileName> for RealFileName
fn sinto(&self, _s: &S) -> RealFileName
source§impl<S> SInto<S, AnalysisPhase> for AnalysisPhase
impl<S> SInto<S, AnalysisPhase> for AnalysisPhase
fn sinto(&self, _s: &S) -> AnalysisPhase
source§impl<S> SInto<S, BasicBlock> for BasicBlock
impl<S> SInto<S, BasicBlock> for BasicBlock
fn sinto(&self, _s: &S) -> BasicBlock
source§impl<S> SInto<S, CallSource> for CallSource
impl<S> SInto<S, CallSource> for CallSource
fn sinto(&self, _: &S) -> CallSource
source§impl<S> SInto<S, CoverageKind> for CoverageKind
impl<S> SInto<S, CoverageKind> for CoverageKind
fn sinto(&self, _: &S) -> CoverageKind
source§impl<S> SInto<S, ErrorGuaranteed> for ErrorGuaranteed
impl<S> SInto<S, ErrorGuaranteed> for ErrorGuaranteed
fn sinto(&self, _: &S) -> ErrorGuaranteed
source§impl<S> SInto<S, FakeReadCause> for FakeReadCause
impl<S> SInto<S, FakeReadCause> for FakeReadCause
fn sinto(&self, _: &S) -> FakeReadCause
source§impl<S> SInto<S, InlineAsmOptions> for InlineAsmOptions
impl<S> SInto<S, InlineAsmOptions> for InlineAsmOptions
fn sinto(&self, _: &S) -> InlineAsmOptions
source§impl<S> SInto<S, InlineAsmTemplatePiece> for InlineAsmTemplatePiece
impl<S> SInto<S, InlineAsmTemplatePiece> for InlineAsmTemplatePiece
fn sinto(&self, _: &S) -> InlineAsmTemplatePiece
source§impl<S> SInto<S, RuntimePhase> for RuntimePhase
impl<S> SInto<S, RuntimePhase> for RuntimePhase
fn sinto(&self, _s: &S) -> RuntimePhase
source§impl<S> SInto<S, SourceScope> for SourceScope
impl<S> SInto<S, SourceScope> for SourceScope
fn sinto(&self, _s: &S) -> SourceScope
source§impl<S> SInto<S, UnwindAction> for UnwindAction
impl<S> SInto<S, UnwindAction> for UnwindAction
fn sinto(&self, _: &S) -> UnwindAction
source§impl<S> SInto<S, UserTypeAnnotationIndex> for UserTypeAnnotationIndex
impl<S> SInto<S, UserTypeAnnotationIndex> for UserTypeAnnotationIndex
fn sinto(&self, _s: &S) -> UserTypeAnnotationIndex
source§impl<S> SInto<S, UserTypeProjection> for UserTypeProjection
impl<S> SInto<S, UserTypeProjection> for UserTypeProjection
fn sinto(&self, _: &S) -> UserTypeProjection
source§impl<S> SInto<S, UserTypeProjections> for UserTypeProjections
impl<S> SInto<S, UserTypeProjections> for UserTypeProjections
fn sinto(&self, _: &S) -> UserTypeProjections
source§impl<S> SInto<S, DelimSpacing> for DelimSpacing
impl<S> SInto<S, DelimSpacing> for DelimSpacing
fn sinto(&self, _: &S) -> DelimSpacing
source§impl<S> SInto<S, IntegerType> for IntegerType
impl<S> SInto<S, IntegerType> for IntegerType
fn sinto(&self, _: &S) -> IntegerType
source§impl<S> SInto<S, MissingLifetimeKind> for MissingLifetimeKind
impl<S> SInto<S, MissingLifetimeKind> for MissingLifetimeKind
fn sinto(&self, _: &S) -> MissingLifetimeKind
source§impl<S> SInto<S, UnwindTerminateReason> for UnwindTerminateReason
impl<S> SInto<S, UnwindTerminateReason> for UnwindTerminateReason
fn sinto(&self, _: &S) -> UnwindTerminateReason
source§impl<S> SInto<S, bool> for Mutability
impl<S> SInto<S, bool> for Mutability
fn sinto(&self, _s: &S) -> Mutability
source§impl<S> SInto<S, usize> for ItemLocalId
impl<S> SInto<S, usize> for ItemLocalId
fn sinto(&self, _: &S) -> ItemLocalId
source§impl<S> SInto<S, usize> for FirstStatementIndex
impl<S> SInto<S, usize> for FirstStatementIndex
fn sinto(&self, _: &S) -> FirstStatementIndex
source§impl<S> SInto<S, usize> for VariantIdx
impl<S> SInto<S, usize> for VariantIdx
fn sinto(&self, _: &S) -> VariantIdx
source§impl<S> SInto<S, usize> for DebruijnIndex
impl<S> SInto<S, usize> for DebruijnIndex
fn sinto(&self, _: &S) -> DebruijnIndex
source§impl<S> SInto<S, usize> for UniverseIndex
impl<S> SInto<S, usize> for UniverseIndex
fn sinto(&self, _: &S) -> UniverseIndex
source§impl<S> SInto<S, BindingMode> for BindingMode
impl<S> SInto<S, BindingMode> for BindingMode
fn sinto(&self, s: &S) -> BindingMode
source§impl<S> SInto<S, ParamConst> for ParamConst
impl<S> SInto<S, ParamConst> for ParamConst
fn sinto(&self, gstate: &S) -> ParamConst
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>
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§impl<S, T: SInto<S, U>, U> SInto<S, Visibility<U>> for Visibility<T>
impl<S, T: SInto<S, U>, U> SInto<S, Visibility<U>> for Visibility<T>
fn sinto(&self, s: &S) -> Visibility<U>
source§impl<S, TT, T: SInto<S, TT>> SInto<S, ClearCrossCrate<TT>> for ClearCrossCrate<T>
impl<S, TT, T: SInto<S, TT>> SInto<S, ClearCrossCrate<TT>> for ClearCrossCrate<T>
fn sinto(&self, s: &S) -> ClearCrossCrate<TT>
Implementors§
impl<'s, S: BaseState<'s>> SInto<S, DefId> for DefId
impl<'tcx, S> SInto<S, PathBuf> for PathBuf
impl<'tcx, S: BaseState<'tcx>> SInto<S, DefId> for OwnerId
impl<'tcx, S: BaseState<'tcx>> SInto<S, FullDef> for DefId
impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, ImplExprAtom> for ImplExprAtom<'tcx>
impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, ImplExprPathChunk> for PathChunk<'tcx>
impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, ImplExpr> for ImplExpr<'tcx>
impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, DefId> for LocalDefId
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
.