diff --git a/src/stacked_borrows.rs b/src/stacked_borrows.rs
index d5bd300959d..0b92817c972 100644
--- a/src/stacked_borrows.rs
+++ b/src/stacked_borrows.rs
@@ -518,9 +518,7 @@ pub fn new_allocation(
             ) => (extra.global_base_ptr(id), Permission::SharedReadWrite),
             // Heap allocations we only track precisely when raw pointers are tagged, for now.
             MemoryKind::Machine(
-                MiriMemoryKind::Rust
-                | MiriMemoryKind::C
-                | MiriMemoryKind::WinHeap,
+                MiriMemoryKind::Rust | MiriMemoryKind::C | MiriMemoryKind::WinHeap,
             ) => {
                 let tag =
                     if extra.track_raw { Tag::Tagged(extra.new_ptr()) } else { Tag::Untagged };