Skip to content

Mark early otherwise optimization unsound#83277

Merged
bors merged 1 commit intorust-lang:masterfrom
spastorino:early_otherwise-opt-unsound
Mar 20, 2021
Merged

Mark early otherwise optimization unsound#83277
bors merged 1 commit intorust-lang:masterfrom
spastorino:early_otherwise-opt-unsound

Commits

Commits on Mar 18, 2021