Skip to content

remove leftover mentions of skol and int from the compiler#73055

Merged
bors merged 3 commits into
rust-lang:masterfrom
lcnr:skol-no-more
Jun 20, 2020
Merged

remove leftover mentions of skol and int from the compiler#73055
bors merged 3 commits into
rust-lang:masterfrom
lcnr:skol-no-more

remove `pop_placeholders`

180334c
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs