Skip to content

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
Merged

Add $message_type field to distinguish json diagnostic outputs#115691
bors merged 8 commits into
rust-lang:masterfrom
jsgf:typed-json-diags

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

fe50c53
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs