[][src]Enum rustc_mir::borrow_check::places_conflict::PlaceConflictBias

pub(crate) enum PlaceConflictBias {

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).



Trait Implementations

impl Clone for PlaceConflictBias[src]

impl Copy for PlaceConflictBias[src]

impl Debug for PlaceConflictBias[src]

impl Eq for PlaceConflictBias[src]

impl PartialEq<PlaceConflictBias> for PlaceConflictBias[src]

impl StructuralEq for PlaceConflictBias[src]

impl StructuralPartialEq for PlaceConflictBias[src]

Auto Trait Implementations

impl RefUnwindSafe for PlaceConflictBias

impl Send for PlaceConflictBias

impl Sync for PlaceConflictBias

impl Unpin for PlaceConflictBias

impl UnwindSafe for PlaceConflictBias

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized

impl<T> Borrow<T> for T where
    T: ?Sized

impl<T> BorrowMut<T> for T where
    T: ?Sized

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, 

impl<T> ToOwned for T where
    T: Clone

type Owned = T

The resulting type after obtaining ownership.

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

impl<T> WithConstness for T[src]