Skip to content

Rework how diagnostic lints are stored.#119922

Merged
bors merged 2 commits intorust-lang:masterfrom nnethercote:fix-Diag-code-is_lintJan 17, 2024

Commits

Commits on Jan 14, 2024