Enum rustc_mir::borrow_check::places_conflict::PlaceConflictBias

pub(crate) enum PlaceConflictBias {
    Overlap,
    NoOverlap,
}

When checking if a place conflicts with another place, this enum is used to influence decisions where a place might be equal or disjoint with another place, such as if a[i] == a[j]. PlaceConflictBias::Overlap would bias toward assuming that i might equal j and that these places overlap. PlaceConflictBias::NoOverlap assumes that for the purposes of the predicate being run in the calling context, the conservative choice is to assume the compared indices are disjoint (and therefore, do not overlap).

Variants

Overlap

NoOverlap

Trait Implementations

impl Clone for PlaceConflictBias

pub fn clone(&self) -> PlaceConflictBias

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Copy for PlaceConflictBias

impl Debug for PlaceConflictBias

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

Formats the value using the given formatter.

impl Eq for PlaceConflictBias

impl PartialEq<PlaceConflictBias> for PlaceConflictBias

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

This method tests for self and other values to be equal, and is used by ==.

#[must_use]pub fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl StructuralEq for PlaceConflictBias

impl StructuralPartialEq for PlaceConflictBias