Struct CompletePropertyAbsenceEvidence

pub struct CompletePropertyAbsenceEvidence { /* private fields */ }

Exact proof that a requested property is absent.

Implementations

impl CompletePropertyAbsenceEvidence

pub fn try_new( request: PropertyRequest, evidence: Evidence, ) -> Result<Self, PropertyResolutionError>

Creates request-bound exact absence evidence.

pub fn request(&self) -> &PropertyRequest

Bound request.

pub fn evidence(&self) -> &Evidence

Exact reviewable provenance.

Trait Implementations

impl Clone for CompletePropertyAbsenceEvidence

fn clone(&self) -> CompletePropertyAbsenceEvidence

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for CompletePropertyAbsenceEvidence

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

Formats the value using the given formatter.

impl PartialEq for CompletePropertyAbsenceEvidence

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