Skip to content

[beta] Abort instead of UB if promotion fails#52624

Merged
bors merged 1 commit intorust-lang:betafrom
oli-obk:promotion_abort_backport
Jul 24, 2018
Merged

[beta] Abort instead of UB if promotion fails#52624
bors merged 1 commit intorust-lang:betafrom
oli-obk:promotion_abort_backport

Commits

Commits on Jul 22, 2018