Skip to content

Allow disabling TrapUnreachable via -Ztrap-unreachable=no#79367

Merged
bors merged 1 commit intorust-lang:masterfrom
Dirbaio:trap-unreachable
Nov 24, 2020
Merged

Allow disabling TrapUnreachable via -Ztrap-unreachable=no#79367
bors merged 1 commit intorust-lang:masterfrom
Dirbaio:trap-unreachable

Commits

Commits on Nov 24, 2020