Enum Disjointness 

pub enum Disjointness {
    Disjoint,
    Overlapping(Conflict),
    Undecided(Conflict),
}

The result of a disjointness proof.

Variants

Disjoint

Proved: the branches cannot touch the same resource. Safe to run in parallel.

Overlapping(Conflict)

Proved: they can interfere. The offending pair is named.

Undecided(Conflict)

Not decided. Treated as a refusal by the compiler — see US-0206.

Implementations

impl Disjointness

pub fn is_proved_disjoint(&self) -> bool

Whether parallel execution is proved safe.

Disjointness::Undecided is not safe. There is deliberately no variant of this that accepts an undecided proof.

pub fn conflict(&self) -> Option<&Conflict>

The conflicting pair, if there is one.

Trait Implementations

impl Clone for Disjointness

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Disjointness

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

Formats the value using the given formatter.

impl Eq for Disjointness

impl PartialEq for Disjointness

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Disjointness