Skip to content

Do not clone MIR for const-prop lint.#115908

Merged
bors merged 1 commit intorust-lang:masterfrom
cjgillot:lint-noclone
Sep 18, 2023
Merged

Do not clone MIR for const-prop lint.#115908
bors merged 1 commit intorust-lang:masterfrom
cjgillot:lint-noclone

Commits

Commits on Sep 17, 2023