Enum Answer 

pub enum Answer<R, T> {
    Yes,
    No(Reason<T>),
    If(Condition<R, T>),
}

The result of a transmutability query under the supplied Assume options.

Variants

Yes

The analysis requires no further conditions.

No(Reason<T>)

The analysis could not establish transmutability.

If(Condition<R, T>)

Transmutability depends on conditions that the trait solver must discharge.

Implementations

impl<R, T> Answer<R, T>

fn and(self, rhs: Answer<R, T>) -> Answer<R, T>

Requires both answers, combining their conditions into a conjunction.

fn or(self, rhs: Answer<R, T>) -> Answer<R, T>

Combines alternative answers and collects their conditions in an IfAny.

Currently, combining Yes with If retains the condition. This differs from Boolean disjunction, where unconditional success would suffice.

Trait Implementations

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

fn clone(&self) -> Answer<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 Answer<R, T>

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

Formats the value using the given formatter.

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

impl<R: Hash, T: Hash> Hash for Answer<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 Answer<R, T>

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

Equality operator ==.

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

Inequality operator !=.

impl<R: PartialEq, T: PartialEq> StructuralPartialEq for Answer<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.