Skip to content

Commit 78f6386

Browse files
Vanille-NRalfJung
andauthored
Clarify comment in tests/fail/tree_borrows/reservedim_spurious_write.rs
Co-authored-by: Ralf Jung <[email protected]>
1 parent 68aed4a commit 78f6386

File tree

1 file changed

+3
-2
lines changed

1 file changed

+3
-2
lines changed

src/tools/miri/tests/fail/tree_borrows/reservedim_spurious_write.rs

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -41,8 +41,9 @@ macro_rules! synchronized {
4141
}
4242

4343
fn main() {
44-
// The conflict occurs one one single location but the example involves
45-
// lazily initialized permissions.
44+
// The conflict occurs on one single location but the example involves
45+
// lazily initialized permissions. We will use `&mut Cell<()>` references
46+
// to `data` to achieve this.
4647
let mut data = 0u8;
4748
let ptr = SendPtr(std::ptr::addr_of_mut!(data));
4849
let barrier = Arc::new(Barrier::new(2));

0 commit comments

Comments
 (0)