We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent b63bb1b commit 8e1f18dCopy full SHA for 8e1f18d
src/tools/miri/src/borrow_tracker/tree_borrows/exhaustive.rs
@@ -2,7 +2,6 @@
2
//! (These are used in Tree Borrows `#[test]`s for thorough verification
3
//! of the behavior of the state machine of permissions,
4
//! but the contents of this file are extremely generic)
5
-#![cfg(test)]
6
7
pub trait Exhaustive: Sized {
8
fn exhaustive() -> Box<dyn Iterator<Item = Self>>;
0 commit comments