]> git.lizzy.rs Git - rust.git/commit
Auto merge of #1029 - RalfJung:panic-if-uninhabited, r=RalfJung
authorbors <bors@rust-lang.org>
Sun, 3 Nov 2019 14:40:15 +0000 (14:40 +0000)
committerbors <bors@rust-lang.org>
Sun, 3 Nov 2019 14:40:15 +0000 (14:40 +0000)
commit727e77844e65de97afa83dfd1a1d22439d8fe285
treecafed605337b23b76424ff682c3792e4e84a673a
parent4f7171585f2644d05ccb1c8a1b8b5656b645ca1f
parent955a26fb0803fa1fb46d21abcb89f3a05e5cadda
Auto merge of #1029 - RalfJung:panic-if-uninhabited, r=RalfJung

calling panic_if_uninhabited is not actually UB