Add `$message_type` field to distinguish json diagnostic outputs#115691

Merged

bors merged 8 commits intorust-lang:masterfrom jsgf:typed-json-diags

Nov 21, 2023

+100-67

Commits on Oct 13, 2023

Use $message_type as the tag
jsgf
committed

Commits on Oct 16, 2023

Update docs too
jsgf
committed

Commits on Nov 21, 2023

Update some more cases of "type" -> "$message_type"
dtolnay
committed