diff options
| author | Ralf Jung <post@ralfj.de> | 2023-02-07 10:33:19 +0100 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2023-02-07 10:33:19 +0100 |
| commit | 8461c0eb673e769cae656ce52dd662829437e200 (patch) | |
| tree | 2e1b2e5e0a66252af9572ab6d810e41b9fa84b1f | |
| parent | ff071088d0be04b3200781457acb3f5d973e6c35 (diff) | |
| download | rust-8461c0eb673e769cae656ce52dd662829437e200.tar.gz rust-8461c0eb673e769cae656ce52dd662829437e200.zip | |
fmt
| -rw-r--r-- | src/tools/miri/src/borrow_tracker/stacked_borrows/mod.rs | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/tools/miri/src/borrow_tracker/stacked_borrows/mod.rs b/src/tools/miri/src/borrow_tracker/stacked_borrows/mod.rs index 106e93751d2..4e6ff28d6ec 100644 --- a/src/tools/miri/src/borrow_tracker/stacked_borrows/mod.rs +++ b/src/tools/miri/src/borrow_tracker/stacked_borrows/mod.rs @@ -148,8 +148,7 @@ impl NewPermission { NewPermission::Uniform { perm: Permission::Unique, access: Some(AccessKind::Write), - protector: (kind == RetagKind::FnEntry) - .then_some(ProtectorKind::WeakProtector), + protector: (kind == RetagKind::FnEntry).then_some(ProtectorKind::WeakProtector), } } else { // `!Unpin` boxes do not get `noalias` nor `dereferenceable`. |