fmt

2023-02-07 10:33:19 +01:00 · 2023-02-07 10:33:19 +01:00 · 8461c0eb67
commit 8461c0eb67
parent ff071088d0
1 changed files with 1 additions and 2 deletions
--- 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`.