Fixes in various places

This commit is contained in:
Nadrieril 2024-03-20 22:51:29 +01:00 committed by Guillaume Gomez
parent f824fb6d9f
commit b373147918

View File

@ -430,6 +430,7 @@ pub enum E2<X> {
V4, V4,
} }
#[allow(unreachable_patterns)]
fn check_niche_behavior () { fn check_niche_behavior () {
if let E1::V2 { .. } = (E1::V1 { f: true }) { if let E1::V2 { .. } = (E1::V1 { f: true }) {
intrinsics::abort(); intrinsics::abort();