Enum ScopeRelation 

pub enum ScopeRelation {
    Equal,
    Subset,
    Superset,
    Incomparable,
    Unknown,
}

How a resolved scope stands relative to a bounding scope (does the fence stay within what was authorized?).

Variants

Equal

The resolved scope equals the bound.

Subset

The resolved scope is a subset of the bound (more confined — fine).

Superset

The resolved scope is a superset of the bound — it widens authority beyond what was granted (the OCAP bug this whole layer exists to catch).

Incomparable

Neither contains the other.

Unknown

Not decidable in the portable lattice (an Unknown operand) → treated as fail-closed by admit.

Trait Implementations

impl Clone for ScopeRelation

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for ScopeRelation

impl Debug for ScopeRelation

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

Formats the value using the given formatter.

impl Eq for ScopeRelation

impl PartialEq for ScopeRelation

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ScopeRelation