Enum Answer 

pub enum Answer {
    May,
    No(Reason),
}

What the analysis answers.

Variants

May

They may touch the same byte, which is the answer whenever nothing proved otherwise.

No(Reason)

They cannot, and this is the rule that says so.

Implementations

impl Answer

pub const fn is_no(self) -> bool

Whether this is a no.

pub const fn reason(self) -> Option<Reason>

The rule behind a no.

Trait Implementations

impl Clone for Answer

fn clone(&self) -> Answer

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Answer

impl Debug for Answer

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

Formats the value using the given formatter.

impl Eq for Answer

impl Hash for Answer

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 PartialEq for Answer

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Answer