Skip to content

remove an ineffective check in const_prop#100239

Merged
bors merged 2 commits into
rust-lang:masterfrom
RalfJung:const-prop-uninit
Aug 29, 2022
Merged

remove an ineffective check in const_prop#100239
bors merged 2 commits into
rust-lang:masterfrom
RalfJung:const-prop-uninit

remove a now-useless machine hook

aff9841
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs