Struct FrameworkDynamicBoundaryFact 

#[non_exhaustive]
pub struct FrameworkDynamicBoundaryFact {
    pub adapter: FrameworkAdapterKind,
    pub package: Option<String>,
    pub symbol: Option<String>,
    pub range: SourceLocation,
    pub boundary_item: Option<HirId>,
    pub kind: StashDynamicBoundaryKind,
    pub reason: String,
    pub provenance: Provenance,
    pub confidence: Confidence,
}

Dynamic or unsupported framework-adapter 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.

adapter: FrameworkAdapterKind

Adapter that emitted this boundary.

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: Provenance

Adapter fact provenance.

confidence: Confidence

Adapter fact confidence.

Trait Implementations

impl Clone for FrameworkDynamicBoundaryFact

fn clone(&self) -> FrameworkDynamicBoundaryFact

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FrameworkDynamicBoundaryFact

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

Formats the value using the given formatter.

impl PartialEq for FrameworkDynamicBoundaryFact

fn eq(&self, other: &FrameworkDynamicBoundaryFact) -> 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 FrameworkDynamicBoundaryFact

impl StructuralPartialEq for FrameworkDynamicBoundaryFact