Struct LeanWorkerDiagnostic 

pub struct LeanWorkerDiagnostic {
    pub severity: String,
    pub message: String,
    pub file_label: String,
    pub line: Option<u32>,
    pub column: Option<u32>,
    pub end_line: Option<u32>,
    pub end_column: Option<u32>,
}

Serializable diagnostic returned by worker elaboration and kernel checks.

Fields

severity: String

message: String

file_label: String

line: Option<u32>

column: Option<u32>

end_line: Option<u32>

end_column: Option<u32>

Trait Implementations

impl Clone for LeanWorkerDiagnostic

fn clone(&self) -> LeanWorkerDiagnostic

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LeanWorkerDiagnostic

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

Formats the value using the given formatter.

impl PartialEq for LeanWorkerDiagnostic

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

impl StructuralPartialEq for LeanWorkerDiagnostic