diff --git a/src/lib.rs b/src/lib.rs index 0da3a7c90b4421081a4d6afb9594c61c11cfdb6c..fa4103ca87c931fd1c1c4299b772a6e0e009f36c 100644 --- a/src/lib.rs +++ b/src/lib.rs @@ -12,6 +12,7 @@ #![cfg_attr(feature = "clippy", allow(not_unsafe_ptr_arg_deref))] #![cfg_attr(feature = "clippy", allow(or_fun_call))] #![cfg_attr(feature = "clippy", allow(too_many_arguments))] +#![deny(unreachable_patterns)] #![feature(alloc)] #![feature(allocator_api)] #![feature(asm)]