Skip to content

Remove DesugaringKind::Replace.#111952

Merged
bors merged 1 commit intorust-lang:masterfrom
cjgillot:drop-replace
May 27, 2023
Merged

Remove DesugaringKind::Replace.#111952
bors merged 1 commit intorust-lang:masterfrom
cjgillot:drop-replace

Commits

Commits on May 25, 2023