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

fn clone(&self) -> PlaceConflictBias

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for PlaceConflictBias

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

Formats the value using the given formatter.

impl PartialEq<PlaceConflictBias> for PlaceConflictBias

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

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

#[must_use]

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

This method tests for !=.

impl Copy for PlaceConflictBias

impl Eq for PlaceConflictBias

impl StructuralEq for PlaceConflictBias

impl StructuralPartialEq for PlaceConflictBias