Fixes in various places

bjorn3 · Aug 10, 2024 · 3de829e · 3de829e
1 parent 0174cb1
commit 3de829e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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();