Struct CheckedEggRewriteProofV0 

#[non_exhaustive]
pub struct CheckedEggRewriteProofV0 {
    pub specificity: EggRewriteClaimEvidenceV0,
    pub provenance: EggRewriteClaimEvidenceV0,
    pub cascade_safety: EggRewriteClaimEvidenceV0,
    /* private fields */
}

Additive typed replacement for the legacy Boolean proof carrier.

Computed-value preservation remains the existing obligation-family lookup; it is intentionally not represented as a fourth evidence claim.

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.

specificity: EggRewriteClaimEvidenceV0

provenance: EggRewriteClaimEvidenceV0

cascade_safety: EggRewriteClaimEvidenceV0

Implementations

impl CheckedEggRewriteProofV0

pub fn new( specificity: EggRewriteClaimEvidenceV0, obligation_family: ObligationFamilyIdV0, provenance: EggRewriteClaimEvidenceV0, cascade_safety: EggRewriteClaimEvidenceV0, ) -> Self

pub const fn obligation_family(&self) -> ObligationFamilyIdV0

pub const fn computed_value_preserved(&self) -> bool

Trait Implementations

impl Clone for CheckedEggRewriteProofV0

fn clone(&self) -> CheckedEggRewriteProofV0

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CheckedEggRewriteProofV0

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

Formats the value using the given formatter.

impl Eq for CheckedEggRewriteProofV0

impl PartialEq for CheckedEggRewriteProofV0

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for CheckedEggRewriteProofV0