Enum Reason 

pub enum Reason {
    Distinct,
    Escape,
    Offset,
    Tbaa,
    Restrict,
    Attribute,
}

Which rule concluded that two references cannot touch the same byte.

Section 8.5. This is the whole point of the return type being an enum rather than a boolean.

Variants

Distinct

They are references to two different objects, which is layers 1 and 2 together.

Escape

One is a local whose address never leaves the function and the other is not that local.

Offset

They are references to one object at offsets whose byte ranges do not overlap.

Tbaa

Their type nodes are in different parts of the tree, so no object has both types.

Restrict

They are in one restrict scope through different restrict pointers.

Attribute

The callee’s attributes say it does not touch memory this way.

Implementations

impl Reason

pub const ALL: [Self; 6]

Every reason, which is what a report walks.

pub const COUNT: usize

How many there are, which is the width of a Counts.

pub const fn index(self) -> usize

Where this sits in Reason::ALL.

pub const fn name(self) -> &'static str

The one word -fdump-alias prints for it.

pub const fn describe(self) -> &'static str

The sentence a user gets when they ask why something was not optimized.

Trait Implementations

impl Clone for Reason

fn clone(&self) -> Reason

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Reason

impl Debug for Reason

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

Formats the value using the given formatter.

impl Eq for Reason

impl Hash for Reason

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 Reason

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Reason