Struct QalaWarning 

pub struct QalaWarning {
    pub category: String,
    pub message: String,
    pub span: Span,
    pub note: Option<String>,
}

one warning produced by the type checker.

derives Debug, Clone, PartialEq. categories are the locked snake_case identifiers also accepted by the // qala: allow(...) directive scanner: unused_var, unreachable_code, unmatched_defer, shadowed_var, redundant_annotation, overlapping_guards. errors are never silenced; warnings are silenceable by the directive table built once in [scan_allow_directives].

Fields

category: String

one of the locked snake_case category strings.

message: String

the human-readable one-line message.

span: Span

the source span the warning points at.

note: Option<String>

optional extra information, like a shadowed_var’s prior-binding location (“the prior binding is at line {l}:{c}”).

Trait Implementations

impl Clone for QalaWarning

fn clone(&self) -> QalaWarning

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for QalaWarning

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

Formats the value using the given formatter.

impl From<&QalaWarning> for Diagnostic

fn from(w: &QalaWarning) -> Self

build a Diagnostic from a QalaWarning reference. severity is Warning; category is Some(w.category). warnings carry their snake_case category as Diagnostic::category; this is what // qala: allow(<category>) matches against and what the playground colors yellow. the optional note field becomes the first note line.

impl PartialEq for QalaWarning

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