Struct abi_stable::erased_types::RequiredTraits

#[repr(C)]
pub struct RequiredTraits { /* private fields */ }

Describes which traits are required and enabled by the I: InterfaceType that this RequiredTraits is created from.

Purpose

This is what DynTrait uses to check that the traits it requires are compatible between library versions, by using this type in #[sabi(extra_checks = <here>)].

This type requires that auto traits are the same across versions. Non-auto traits can be added in newer versions of a library.

Implementations

impl RequiredTraits

pub const fn new<I: InterfaceType>() -> Self

Constructs an RequiredTraits.

pub const fn contains_send(self) -> bool

Whether the std::marker::Send trait is required

pub const fn contains_sync(self) -> bool

Whether the std::marker::Sync trait is required

pub const fn contains_unpin(self) -> bool

Whether the std::marker::Unpin trait is required

pub const fn contains_error(self) -> bool

Whether the std::error::Error trait is required

pub const fn contains_clone(self) -> bool

Whether the std::clone::Clone trait is required

pub const fn contains_default(self) -> bool

Whether the std::default::Default trait is required

pub const fn contains_display(self) -> bool

Whether the std::fmt::Display trait is required

pub const fn contains_debug(self) -> bool

Whether the std::fmt::Debug trait is required

pub const fn contains_serialize(self) -> bool

Whether the serde::Serialize trait is required

pub const fn contains_partial_eq(self) -> bool

Whether the std::cmp::PartialEq trait is required

pub const fn contains_cmp(self) -> bool

Whether the std::cmp::Ord trait is required

pub const fn contains_partial_cmp(self) -> bool

Whether the std::cmp::PartialOrd trait is required

pub const fn contains_hash(self) -> bool

Whether the std::hash::Hash trait is required

pub const fn contains_iterator(self) -> bool

Whether the std::iter::Iterator trait is required

pub const fn contains_double_ended_iterator(self) -> bool

Whether the std::iter::DoubleEndedIterator trait is required

pub const fn contains_fmt_write(self) -> bool

Whether the std::fmt::Write trait is required

pub const fn contains_io_write(self) -> bool

Whether the std::io::Write trait is required

pub const fn contains_io_read(self) -> bool

Whether the std::io::Read trait is required

pub const fn contains_io_bufread(self) -> bool

Whether the std::io::BufRead trait is required

pub const fn contains_io_seek(self) -> bool

Whether the std::io::Seek trait is required

pub const fn contains_deserialize(self) -> bool

Whether the [serde :: Deserialize] trait is required

Trait Implementations

impl Clone for RequiredTraits

fn clone(&self) -> RequiredTraits

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for RequiredTraits

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Display for RequiredTraits

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl ExtraChecks for RequiredTraits

fn type_layout(&self) -> &'static TypeLayout

Gets the type layout of Self(the type that implements ExtraChecks)

fn check_compatibility( &self, _layout_containing_self: &'static TypeLayout, layout_containing_other: &'static TypeLayout, checker: TypeCheckerMut<'_>, ) -> RResult<(), ExtraChecksError>

Checks that self is compatible another type which implements ExtraChecks.

fn nested_type_layouts(&self) -> RCowSlice<'_, &'static TypeLayout>

Returns the TypeLayouts owned or referenced by self.

fn combine( &self, _other: ExtraChecksRef<'_>, _checker: TypeCheckerMut<'_>, ) -> RResult<ROption<ExtraChecksBox>, ExtraChecksError>

Combines this ExtraChecks trait object with another one.

impl GetStaticEquivalent_ for RequiredTraits

type StaticEquivalent = _static_RequiredTraits

The 'static equivalent of Self

impl StableAbi for RequiredTraits

type IsNonZeroType = False

Whether this type has a single invalid bit-pattern.

const LAYOUT: &'static TypeLayout = _

The layout of the type provided by implementors.

const ABI_CONSTS: AbiConsts = _

const-equivalents of the associated types.

impl Copy for RequiredTraits