Fixes in various places

2024-03-20 22:51:29 +01:00 · 2024-03-20 22:51:29 +01:00 · 3de829e4e5
commit 3de829e4e5
parent 0174cb1932
1 changed files with 1 additions and 0 deletions
--- a/example/mini_core_hello_world.rs
+++ b/example/mini_core_hello_world.rs
@ -585,6 +585,7 @@ pub enum E2<X> {
    V4,
 }

+#[allow(unreachable_patterns)]
 fn check_niche_behavior() {
    if let E1::V2 { .. } = (E1::V1 { f: true }) {
        intrinsics::abort();