diff options
| author | Ralf Jung <post@ralfj.de> | 2024-04-20 08:26:42 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2024-04-20 08:26:42 +0200 |
| commit | 8e1f18dce89b82a090195ddc8e5a6e8e98fc33fb (patch) | |
| tree | b362be42201be7bac09292e502cf932563cba939 | |
| parent | b63bb1b37404182f4ee7e4a713bc58194567c152 (diff) | |
| download | rust-8e1f18dce89b82a090195ddc8e5a6e8e98fc33fb.tar.gz rust-8e1f18dce89b82a090195ddc8e5a6e8e98fc33fb.zip | |
fix clippy warning
| -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>>; |