Skip to content

Make broken MIR a proper lint.#119260

Draft
cjgillot wants to merge 1 commit intorust-lang:masterfrom
cjgillot:mir-lint
Draft

Make broken MIR a proper lint.#119260
cjgillot wants to merge 1 commit intorust-lang:masterfrom
cjgillot:mir-lint

Commits

Commits on Oct 8, 2025