diff options
| -rw-r--r-- | src/tools/miri/src/borrow_tracker/tree_borrows/exhaustive.rs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/tools/miri/src/borrow_tracker/tree_borrows/exhaustive.rs b/src/tools/miri/src/borrow_tracker/tree_borrows/exhaustive.rs index daf3590358f..d50a22a9104 100644 --- a/src/tools/miri/src/borrow_tracker/tree_borrows/exhaustive.rs +++ b/src/tools/miri/src/borrow_tracker/tree_borrows/exhaustive.rs @@ -2,7 +2,6 @@ //! (These are used in Tree Borrows `#[test]`s for thorough verification //! of the behavior of the state machine of permissions, //! but the contents of this file are extremely generic) -#![cfg(test)] pub trait Exhaustive: Sized { fn exhaustive() -> Box<dyn Iterator<Item = Self>>; |