pub(crate) enum PlaceConflictBias {
Overlap,
NoOverlap,
}
Expand description
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
sourceimpl Clone for PlaceConflictBias
impl Clone for PlaceConflictBias
sourcefn clone(&self) -> PlaceConflictBias
fn clone(&self) -> PlaceConflictBias
1.0.0 · sourcefn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source
. Read moresourceimpl Debug for PlaceConflictBias
impl Debug for PlaceConflictBias
sourceimpl PartialEq<PlaceConflictBias> for PlaceConflictBias
impl PartialEq<PlaceConflictBias> for PlaceConflictBias
sourcefn eq(&self, other: &PlaceConflictBias) -> bool
fn eq(&self, other: &PlaceConflictBias) -> bool
impl Copy for PlaceConflictBias
impl Eq for PlaceConflictBias
impl StructuralEq for PlaceConflictBias
impl StructuralPartialEq for PlaceConflictBias
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
sourceimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
impl<'a, T> Captures<'a> for Twhere
T: ?Sized,
Layout
Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...)
attributes. Please see the Rust Reference’s “Type Layout” chapter for details on type layout guarantees.
Size: 1 byte
Size for each variant:
Overlap
: 0 bytesNoOverlap
: 0 bytes