Struct TraitImplBoundary 

pub struct TraitImplBoundary { /* private fields */ }

A trait-impl-locality boundary: within a target crate, the named trait may be implemented only inside the declared allowed module location(s). An impl <Trait> for <Type> block outside them is a violation. Declared in Rust (the single source of truth) and composed with the other dimensions at the gate. This governs impl locality — the complement of exposure (SemanticBoundary) and of the static import boundary. It governs only the target crate’s own impl sites; it makes no claim about downstream crates (that would be external trait sealing, an essential gap).

Implementations

impl TraitImplBoundary

pub fn in_crate(package: &str) -> TraitImplCrateDraft

Begin a trait-impl-locality boundary in the crate named package.

pub fn crate_package(&self) -> &str

The crate this boundary governs.

pub fn trait_(&self) -> &str

The governed trait’s path (e.g. crate::command::Command).

pub fn allowed_locations(&self) -> &[String]

The allowed module-location prefixes where the trait MAY be implemented.

pub fn reason(&self) -> &str

The human-readable reason recorded with the boundary (the repair hint).

pub fn with_anchor(self, anchor: &str) -> Self

Attach a durable governance anchor (e.g. "ADR-014") — a stable pointer into the project’s governance, distinct from the free-text reason. Optional; a boundary with none projects and reacts exactly as before.

pub fn anchor(&self) -> Option<&str>

The durable governance anchor recorded with the boundary, if any.

pub fn severity(&self) -> Severity

The boundary’s severity (enforce or warn).

Trait Implementations

impl Clone for TraitImplBoundary

fn clone(&self) -> TraitImplBoundary

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TraitImplBoundary

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

Formats the value using the given formatter.

impl Eq for TraitImplBoundary

impl PartialEq for TraitImplBoundary

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for TraitImplBoundary