Skip to content

Diagnostic namespace#111780

Merged
bors merged 1 commit into
rust-lang:masterfrom
weiznich:diagnostic_namespace
Jul 28, 2023
Merged

Diagnostic namespace#111780
bors merged 1 commit into
rust-lang:masterfrom
weiznich:diagnostic_namespace

Introduce the `#[diagnostic]` attribute namespace

5b57666
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs