Enum Condition

pub enum Condition<R, T> {
    Transmutable {
        src: T,
        dst: T,
    },
    Outlives {
        long: R,
        short: R,
    },
    Immutable {
        ty: T,
    },
    IfAll(Vec<Condition<R, T>>),
    IfAny(Vec<Condition<R, T>>),
}

A condition which must hold for safe transmutation to be possible.

Variants

Transmutable

Src is transmutable into Dst, if src is transmutable into dst.

Fields

src: T

dst: T

Outlives

The region long must outlive short.

Fields

long: R

short: R

Immutable

The ty is immutable.

Fields

ty: T

IfAll(Vec<Condition<R, T>>)

Src is transmutable into Dst, if all of the enclosed requirements are met.

IfAny(Vec<Condition<R, T>>)

Src is transmutable into Dst if any of the enclosed requirements are met.

Trait Implementations

impl<R: Clone, T: Clone> Clone for Condition<R, T>

fn clone(&self) -> Condition<R, T>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<R: Debug, T: Debug> Debug for Condition<R, T>

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

Formats the value using the given formatter.

impl<R: Hash, T: Hash> Hash for Condition<R, T>

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<R: PartialEq, T: PartialEq> PartialEq for Condition<R, T>

fn eq(&self, other: &Condition<R, T>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<R: Eq, T: Eq> Eq for Condition<R, T>

impl<R, T> StructuralPartialEq for Condition<R, T>

Layout

Note: Unable to compute type layout, possibly due to this type having generic parameters. Layout can only be computed for concrete, fully-instantiated types.