Deny unwrap usage in proc macros

viperproject · Sep 29, 2022 · bb590c9 · bb590c9
1 parent 5888f0c
commit bb590c9
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)]