Trait SInto 

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

Required Methods

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

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

where T1: SInto<StateWithBinder<'tcx>, T2>,

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

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>

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, HashConsed<TraitProofContents>> for TraitProof<'tcx, DefId>

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, Pattern> for PatternKind<'tcx>

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

impl<S, AA, BB, CC, A: SInto<S, AA>, B: SInto<S, BB>, C: SInto<S, CC>> SInto<S, (AA, BB, CC)> for (A, B, C)

fn sinto(&self, s: &S) -> (AA, BB, CC)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Implementors

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

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

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

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

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

impl<S> SInto<S, ByteSymbol> for ByteSymbol

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

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

impl<S> SInto<S, DefId> for charon_driver::hax::DefId

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

impl<S> SInto<S, ExternAbi> for ExternAbi

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

impl<S> SInto<S, MacroKinds> for MacroKinds

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

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

impl<S> SInto<S, Span> for Span

impl<S> SInto<S, Symbol> for Symbol

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