Struct Recorded 

pub struct Recorded {
    pub severity: String,
    pub text: String,
    pub fix: Option<FixJson>,
    pub dependency: Option<DependencyJson>,
}

One diagnostic exactly as it was handed to the sink, so a replay goes through the same printing code the original run did rather than through a reconstruction of it. Reconstructing text from parsed fields is how a cache starts printing subtly different output from the run it claims to reproduce.

Fields

severity: String

Severity::as_str’s word. A string rather than the enum because an entry outlives the build that wrote it, and a word this build does not know has to read back as itself rather than fail the whole entry.

text: String

The finished line, position prefix and [htl <rule>] suffix included — what the sink was handed, not what it was assembled from.

fix: Option<FixJson>

The fix the diagnostic carried, for htl fix replaying instead of re-checking. None when the diagnostic had none, which is most of them.

dependency: Option<DependencyJson>

Set when the text is an error in a module this one required rather than in this one: the dependency and the file that required it. The entry carries every such error the check found; the sink decides at replay, as it did at the original run, which of them to say (once per run). Absent in entries written before this field existed, which then read as having none.

Trait Implementations

impl Clone for Recorded

fn clone(&self) -> Recorded

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Recorded

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Recorded

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for Recorded

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

where __S: Serializer,

Serialize this value into the given Serde serializer.