Struct CheckedImport

#[repr(C)]
pub struct CheckedImport<F> { /* private fields */ }

Used in #[stabby::import]

Implementations

impl<F> CheckedImport<F>

where Struct<FieldPair<FieldPair<FieldPair<FieldPair<UnsafeCell<MaybeUninit<F>>, AtomicU8>, unsafe extern "C" fn(&TypeReport) -> Option<F>>, unsafe extern "C" fn() -> &'static TypeReport>, &'static TypeReport>>: IStable, &'static TypeReport: IStable, unsafe extern "C" fn() -> &'static TypeReport: IStable, unsafe extern "C" fn(&TypeReport) -> Option<F>: IStable, AtomicU8: IStable, UnsafeCell<MaybeUninit<F>>: IStable,

pub const fn has_optimal_layout() -> bool

Returns true if the layout for CheckedImport is smaller or equal to that Rust would have generated for it.

impl<F> CheckedImport<F>

pub const fn new( checker: unsafe extern "C" fn(&TypeReport) -> Option<F>, get_report: unsafe extern "C" fn() -> &'static TypeReport, local_report: &'static TypeReport, ) -> Self

Used by #[stabby::import] proc-macro

pub fn as_ref(&self) -> Result<&F, ReportMismatch>

Errors

Returns a ReportMismatch if the local and loaded reports differ.

Trait Implementations

impl<F> Deref for CheckedImport<F>

type Target = F

The resulting type after dereferencing.

fn deref(&self) -> &Self::Target

Dereferences the value.

impl<F> Drop for CheckedImport<F>

fn drop(&mut self)

Executes the destructor for this type.

impl<F> IStable for CheckedImport<F>

where Struct<FieldPair<FieldPair<FieldPair<FieldPair<UnsafeCell<MaybeUninit<F>>, AtomicU8>, unsafe extern "C" fn(&TypeReport) -> Option<F>>, unsafe extern "C" fn() -> &'static TypeReport>, &'static TypeReport>>: IStable, &'static TypeReport: IStable, unsafe extern "C" fn() -> &'static TypeReport: IStable, unsafe extern "C" fn(&TypeReport) -> Option<F>: IStable, AtomicU8: IStable, UnsafeCell<MaybeUninit<F>>: IStable,

const REPORT: &'static TypeReport

A compile-time generated report of the fields of the type, allowing for compatibility inspection.

const ID: u64

A stable (and ideally unique) identifier for the type. Often generated using crate::report::gen_id, but can be manually set.

type ForbiddenValues = <Struct<FieldPair<FieldPair<FieldPair<FieldPair<UnsafeCell<MaybeUninit<F>>, AtomicU8>, unsafe extern "C" fn(&TypeReport) -> Option<F>>, unsafe extern "C" fn() -> &'static TypeReport>, &'static TypeReport>> as IStable>::ForbiddenValues

The values that the annotated type cannot occupy.

type UnusedBits = <Struct<FieldPair<FieldPair<FieldPair<FieldPair<UnsafeCell<MaybeUninit<F>>, AtomicU8>, unsafe extern "C" fn(&TypeReport) -> Option<F>>, unsafe extern "C" fn() -> &'static TypeReport>, &'static TypeReport>> as IStable>::UnusedBits

The padding bits in the annotated types

type Size = <Struct<FieldPair<FieldPair<FieldPair<FieldPair<UnsafeCell<MaybeUninit<F>>, AtomicU8>, unsafe extern "C" fn(&TypeReport) -> Option<F>>, unsafe extern "C" fn() -> &'static TypeReport>, &'static TypeReport>> as IStable>::Size

The size of the annotated type in bytes.

type Align = <Struct<FieldPair<FieldPair<FieldPair<FieldPair<UnsafeCell<MaybeUninit<F>>, AtomicU8>, unsafe extern "C" fn(&TypeReport) -> Option<F>>, unsafe extern "C" fn() -> &'static TypeReport>, &'static TypeReport>> as IStable>::Align

The alignment of the annotated type in bytes.

type HasExactlyOneNiche = <Struct<FieldPair<FieldPair<FieldPair<FieldPair<UnsafeCell<MaybeUninit<F>>, AtomicU8>, unsafe extern "C" fn(&TypeReport) -> Option<F>>, unsafe extern "C" fn() -> &'static TypeReport>, &'static TypeReport>> as IStable>::HasExactlyOneNiche

Allows the detection of whether or not core::option::Options are stable:

type ContainsIndirections = <Struct<FieldPair<FieldPair<FieldPair<FieldPair<UnsafeCell<MaybeUninit<F>>, AtomicU8>, unsafe extern "C" fn(&TypeReport) -> Option<F>>, unsafe extern "C" fn() -> &'static TypeReport>, &'static TypeReport>> as IStable>::ContainsIndirections

Whether or not the type contains indirections (pointers, indices in independent data-structures…)

fn size() -> usize

Returns the size of the type.

fn align() -> usize

Returns the alignment of the type.

unsafe fn is_invalid(ptr: *const u8) -> bool

Returns true if ptr points to memory that cannot be a valid value of Self.

impl<F> Send for CheckedImport<F>

impl<F> Sync for CheckedImport<F>