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

Merged

bors merged 8 commits into

rust-lang:masterfrom

jsgf:typed-json-diags

Nov 21, 2023

Commits on Sep 19, 2023

Commits on Oct 13, 2023

Use `$message_type` as the tag
jsgf
committed
8f08458

Commits on Oct 16, 2023

Update docs too
jsgf
committed
8aa4fb5

Commits on Nov 21, 2023

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