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, T, U> SInto<S, DynBinder<'tcx, U>> for DynBinder<'tcx, T, DefId>

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

fn sinto(&self, s: &S) -> DynBinder<'tcx, U>

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: UnderOwnerState<'tcx>, T1, T2> SInto<S, Binder<T2>> for Binder<'tcx, T1>

where T1: SInto<(StateWithOwner<'tcx>, UnitBinder<'tcx>), T2> + BinderVariances<'tcx>,

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

impl<'tcx, S: UnderOwnerState<'tcx>, T, U> SInto<S, OutlivesPredicate<U>> for OutlivesClause<'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, Binder<TyCtxt<'tcx>, ()>), ClauseKind<'tcx>> for ClauseKind<'tcx>

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

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<(S, Binder<TyCtxt<'tcx>, ()>), PredicateKind<'tcx>> for PredicateKind<'tcx>

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

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<(S, Binder<TyCtxt<'tcx>, ()>), ProjectionPredicate<'tcx>> for ProjectionClause<'tcx>

fn sinto(&self, s: &(S, UnitBinder<'tcx>)) -> ProjectionPredicate<'tcx>

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

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

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, BuiltinTraitData<'tcx>> for BuiltinTraitData<'tcx>

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

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

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

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

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

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

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

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

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

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

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

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

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

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, ConstantByteProvenance<'tcx>> for AllocTarget<'tcx>

The provenance to give to the bytes of a pointer into the given allocation.

fn sinto(&self, s: &S) -> ConstantByteProvenance<'tcx>

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, FnPtrTarget<'tcx>> for FnTarget<'tcx>

fn sinto(&self, s: &S) -> FnPtrTarget<'tcx>

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

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

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

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

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

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

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

fn sinto(&self, s: &S) -> GenericPredicate<'tcx>

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

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

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

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

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

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

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

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<'tcx>> for Pattern<'tcx>

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

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

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

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

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

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<'tcx>> for ReprOptions

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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<'tcx>>> for GenericArgsRef<'tcx>

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

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

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

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, 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, ()> for ()

fn sinto(&self, _: &S)

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 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<'tcx>> for ItemPredicate<'tcx, DefId>

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

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

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

The global standing for self.

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, SolverTraitLangItem> for SolverTraitLangItem

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

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

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

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