diff --git a/prusti-contracts/prusti-specs/src/lib.rs b/prusti-contracts/prusti-specs/src/lib.rs
index 117e48dcdd8..4a5d3e11c10 100644
--- 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)]