Struct Diagnostic 

pub struct Diagnostic {
    pub severity: Severity,
    pub slug: &'static str,
    pub summary: String,
    pub span: Span,
    pub fn_name: Option<String>,
    pub intent: Option<String>,
    pub fields: Vec<(&'static str, String)>,
    pub conflict: Option<String>,
    pub repair: Repair,
    pub regions: Vec<AnnotatedRegion>,
    pub related: Vec<RelatedSpan>,
    pub from_hostile: bool,
}

Fields

severity: Severity

slug: &'static str

summary: String

span: Span

fn_name: Option<String>

intent: Option<String>

fields: Vec<(&'static str, String)>

conflict: Option<String>

repair: Repair

regions: Vec<AnnotatedRegion>

related: Vec<RelatedSpan>

from_hostile: bool

true when this diagnostic was raised by a case aver verify --hostile injected through boundary-value expansion (a binding the user did not write in the law’s given clause). Lets tooling (CI dashboards, IDE filters, LSP code actions) cleanly separate “the law I already had stopped passing” from “hostile expansion found a boundary value that breaks it”. Default false; only the hostile-aware verify pipeline sets it.

Implementations

impl Diagnostic

pub fn is_warning(&self) -> bool

pub fn is_error(&self) -> bool

Trait Implementations

impl Clone for Diagnostic

fn clone(&self) -> Diagnostic

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Diagnostic

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

Formats the value using the given formatter.

impl Serialize for Diagnostic

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.