[][src]Struct typic::transmute::neglect::Transparency

pub struct Transparency;

Neglect statically guaranteeing that corresponding bytes in the source and destination types have appropriate visibility.

Typic assumes that if a field of a type isn't pub, the type might enforce invariants on its value. By default, Typic statically requires that all bytes in the destination type are marked pub.

If you have special knowledge about the type (e.g., because you're the author), you can opt-out of this guarantee by asserting T: UnsafeTransmuteInto<U, neglect::Transparency>.

This option is only available for unsafe transmutations, since calling methods on the transmuted reference may only be safe if the type's internal invariants are upheld.

Trait Implementations

impl UnsafeTransmuteOptions for Transparency[src]

type Alignment = Static

type Stability = Stable

type Transparency = Unenforced

type Validity = AlwaysValid

Auto Trait Implementations

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized
[src]

impl<T> Borrow<T> for T where
    T: ?Sized
[src]

impl<T> BorrowMut<T> for T where
    T: ?Sized
[src]

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

impl<T> Same<T> for T[src]

type Output = T

Should always be Self

impl<T, U> StableTransmuteInto<U> for T where
    T: TransmuteInto<U, ()>, 
[src]

impl<T, U, O> TransmuteInto<U, O> for T where
    O: TransmuteOptions,
    T: UnsafeTransmuteInto<U, ()>,
    U: TransmuteFrom<T, O>, 
[src]

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

impl<T, U, O> UnsafeTransmuteInto<U, O> for T where
    O: UnsafeTransmuteOptions,
    U: UnsafeTransmuteFrom<T, O>, 
[src]

impl<O> UnsafeTransmuteOptions for O where
    O: TransmuteOptions
[src]

type Alignment = Static

type Transparency = Enforced

type Stability = <O as TransmuteOptions>::Stability

type Validity = AlwaysValid