Struct StashDynamicBoundary 

#[non_exhaustive]
pub struct StashDynamicBoundary {
    pub package: Option<String>,
    pub symbol: Option<String>,
    pub range: SourceLocation,
    pub boundary_item: Option<HirId>,
    pub kind: StashDynamicBoundaryKind,
    pub reason: String,
    pub provenance: StashProvenance,
    pub confidence: StashConfidence,
}

Dynamic stash mutation boundary.

Fields (Non-exhaustive)

Non-exhaustive structs could have additional fields added in future. Therefore, non-exhaustive structs cannot be constructed in external crates using the traditional Struct { .. } syntax; cannot be matched against without a wildcard ..; and struct update syntax will not work.

package: Option<String>

Package affected by the boundary, when known.

symbol: Option<String>

Symbol affected by the boundary, when statically known.

range: SourceLocation

Source range for the boundary.

boundary_item: Option<HirId>

HIR item that also records this boundary, when available.

kind: StashDynamicBoundaryKind

Boundary category.

reason: String

Short reason for status/proof output.

provenance: StashProvenance

How this boundary fact was produced.

confidence: StashConfidence

Confidence in this boundary fact.

Trait Implementations

impl Clone for StashDynamicBoundary

fn clone(&self) -> StashDynamicBoundary

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for StashDynamicBoundary

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

Formats the value using the given formatter.

impl PartialEq for StashDynamicBoundary

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for StashDynamicBoundary

impl StructuralPartialEq for StashDynamicBoundary