Struct Diag 

pub struct Diag {
    pub severity: String,
    pub id: Option<String>,
    pub message: String,
    pub path: String,
    pub code: Option<String>,
    pub loc: Option<Loc>,
    pub by: Option<String>,
}

Fields

severity: String

id: Option<String>

message: String

path: String

code: Option<String>

loc: Option<Loc>

the source range the checker reported at (the declaration, or the expression under inference)

by: Option<String>

the evaluation step that produced it (a slot, a root, an assert): dependency tracking’s tag

Implementations

impl Diag

pub fn error( message: impl Into<String>, path: String, code: Option<&str>, ) -> Diag

pub fn to_json(&self, file: Option<&str>) -> String

Trait Implementations

impl Clone for Diag

fn clone(&self) -> Diag

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Diag

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

Formats the value using the given formatter.