Struct SemanticBoundaries 

pub struct SemanticBoundaries {
    pub signature: Vec<SemanticBoundary>,
    pub trait_impl: Vec<TraitImplBoundary>,
    pub visibility: Vec<VisibilityBoundary>,
    pub forbidden_marker: Vec<ForbiddenMarkerBoundary>,
    pub dyn_trait: Vec<DynTraitBoundary>,
    pub impl_trait: Vec<ImplTraitBoundary>,
    pub async_exposure: Vec<AsyncExposureBoundary>,
    pub unsafe_confinement: Vec<UnsafeBoundary>,
}

The 渾儀 (semantic) dimension’s boundaries, gathered so the shell takes the dimension as one unit rather than one parameter per capability. Each field is one capability’s boundaries; check_all evaluates them all with a single cargo metadata read.

Fields

signature: Vec<SemanticBoundary>

Exposure boundaries (semantic-signature-coupling).

trait_impl: Vec<TraitImplBoundary>

Impl-locality boundaries (semantic-trait-impl-locality).

visibility: Vec<VisibilityBoundary>

Visibility boundaries (semantic-visibility-boundary).

forbidden_marker: Vec<ForbiddenMarkerBoundary>

Forbidden-marker boundaries (semantic-forbidden-marker).

dyn_trait: Vec<DynTraitBoundary>

Dyn-trait exposure boundaries (semantic-dyn-trait-boundary).

impl_trait: Vec<ImplTraitBoundary>

Impl-trait (existential) exposure boundaries (semantic-impl-trait-boundary).

async_exposure: Vec<AsyncExposureBoundary>

Async-fn (implicit existential) exposure boundaries (semantic-async-exposure-boundary).

unsafe_confinement: Vec<UnsafeBoundary>

Unsafe-confinement boundaries (semantic-unsafe-confinement).

Implementations

impl SemanticBoundaries

pub fn is_empty(&self) -> bool

Whether no semantic boundary of any kind is declared.

Trait Implementations

impl Clone for SemanticBoundaries

fn clone(&self) -> SemanticBoundaries

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SemanticBoundaries

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

Formats the value using the given formatter.

impl Default for SemanticBoundaries

fn default() -> SemanticBoundaries

Returns the “default value” for a type.