Deny unwrap usage in proc macros

viperproject · Sep 30, 2022 · 47ff62e · 47ff62e
1 parent 6c8ddfd
commit 47ff62e
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/prusti-contracts/prusti-specs/src/lib.rs b/prusti-contracts/prusti-specs/src/lib.rs
@@ -5,6 +5,8 @@
 #![feature(proc_macro_span)]
 #![feature(if_let_guard)]
 #![feature(assert_matches)]
+// Panics in procedural macros are really hard to debug!
+#![deny(clippy::unwrap_used)]
 // This Clippy chcek seems to be always wrong.
 #![allow(clippy::iter_with_drain)]