Enum AliasResult 

pub enum AliasResult {
    MustAlias,
    MayAlias,
    NoAlias,
}

The result of querying whether two values may alias.

Variants

MustAlias

The two values definitely refer to the same memory location.

MayAlias

The two values may or may not refer to the same location.

NoAlias

The two values definitely do not refer to the same location.

Implementations

impl AliasResult

pub fn may_alias(self) -> bool

Returns true if aliasing is possible (MustAlias or MayAlias).

pub fn must_alias(self) -> bool

Returns true if aliasing is certain.

pub fn no_alias(self) -> bool

Returns true if no alias is possible.

pub fn merge(self, other: AliasResult) -> AliasResult

Merge two alias results conservatively.

Trait Implementations

impl Clone for AliasResult

fn clone(&self) -> AliasResult

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AliasResult

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

Formats the value using the given formatter.

impl Hash for AliasResult

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 AliasResult

fn eq(&self, other: &AliasResult) -> 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 Copy for AliasResult

impl Eq for AliasResult

impl StructuralPartialEq for AliasResult