Struct RuleCheck 

#[non_exhaustive]
pub struct RuleCheck {
    pub name: String,
    pub id: RuleId,
    pub kind: RuleKind,
    pub verdict: Verdict,
    pub evidence: Evidence,
    pub examples: Vec<ExampleFailure>,
}

The result of checking one rule.

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.

name: String

The rule’s name.

id: RuleId

The rule’s content hash.

kind: RuleKind

Rewrite or identity.

verdict: Verdict

The verdict.

evidence: Evidence

What was checked.

examples: Vec<ExampleFailure>

The #[example]s that did not hold (see check_examples).

Implementations

impl RuleCheck

pub fn is_sound(&self) -> bool

Whether the rule passed with exhaustive evidence.

Trait Implementations

impl Clone for RuleCheck

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RuleCheck

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

Formats the value using the given formatter.