Diagnostic namespace#111780

Merged

bors merged 1 commit intorust-lang:masterfrom

weiznich:diagnostic_namespace

Jul 28, 2023

Commits on Jul 28, 2023

Introduce the `#[diagnostic]` attribute namespace

weiznich
and
petrochenkov
committed