Skip to content

Remove DesugaringKind::Replace.#111952

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

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

Remove DesugaringKind::Replace.

844c1cc
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs