From a2e09baa32653b0c3d9ce82d7903678e766ddbbc Mon Sep 17 00:00:00 2001 From: Ben Kimock Date: Wed, 21 Dec 2022 23:21:40 -0500 Subject: [PATCH] Fix phrasing --- src/tools/miri/src/diagnostics.rs | 2 +- src/tools/miri/tests/fail/data_race/alloc_read_race.stderr | 2 +- src/tools/miri/tests/fail/data_race/alloc_write_race.stderr | 2 +- .../miri/tests/fail/data_race/atomic_read_na_write_race1.stderr | 2 +- .../miri/tests/fail/data_race/atomic_read_na_write_race2.stderr | 2 +- .../miri/tests/fail/data_race/atomic_write_na_read_race1.stderr | 2 +- .../miri/tests/fail/data_race/atomic_write_na_read_race2.stderr | 2 +- .../tests/fail/data_race/atomic_write_na_write_race1.stderr | 2 +- .../tests/fail/data_race/atomic_write_na_write_race2.stderr | 2 +- .../miri/tests/fail/data_race/dangling_thread_async_race.stderr | 2 +- src/tools/miri/tests/fail/data_race/dangling_thread_race.stderr | 2 +- src/tools/miri/tests/fail/data_race/dealloc_read_race1.stderr | 2 +- .../miri/tests/fail/data_race/dealloc_read_race_stack.stderr | 2 +- src/tools/miri/tests/fail/data_race/dealloc_write_race1.stderr | 2 +- .../miri/tests/fail/data_race/dealloc_write_race_stack.stderr | 2 +- .../miri/tests/fail/data_race/enable_after_join_to_main.stderr | 2 +- src/tools/miri/tests/fail/data_race/fence_after_load.stderr | 2 +- src/tools/miri/tests/fail/data_race/read_write_race.stderr | 2 +- .../miri/tests/fail/data_race/read_write_race_stack.stderr | 2 +- src/tools/miri/tests/fail/data_race/relax_acquire_race.stderr | 2 +- src/tools/miri/tests/fail/data_race/release_seq_race.stderr | 2 +- .../tests/fail/data_race/release_seq_race_same_thread.stderr | 2 +- src/tools/miri/tests/fail/data_race/rmw_race.stderr | 2 +- src/tools/miri/tests/fail/data_race/stack_pop_race.stderr | 2 +- src/tools/miri/tests/fail/data_race/write_write_race.stderr | 2 +- .../miri/tests/fail/data_race/write_write_race_stack.stderr | 2 +- .../miri/tests/fail/stacked_borrows/retag_data_race_read.stderr | 2 +- .../tests/fail/stacked_borrows/retag_data_race_write.stderr | 2 +- 28 files changed, 28 insertions(+), 28 deletions(-) diff --git a/src/tools/miri/src/diagnostics.rs b/src/tools/miri/src/diagnostics.rs index 66cdd331f9f..9f7be0f3b58 100644 --- a/src/tools/miri/src/diagnostics.rs +++ b/src/tools/miri/src/diagnostics.rs @@ -224,7 +224,7 @@ pub fn report_error<'tcx, 'mir>( vec![(None, format!("use Strict Provenance APIs (https://doc.rust-lang.org/nightly/std/ptr/index.html#strict-provenance, https://crates.io/crates/sptr) instead"))], DataRace { op2, .. } => vec![ - (Some(op2.span), format!("and {} on {}, which is here", op2.action, op2.thread_info)), + (Some(op2.span), format!("and the {} on {} is here", op2.action, op2.thread_info)), (None, format!("this indicates a bug in the program: it performed an invalid operation, and caused Undefined Behavior")), (None, format!("see https://doc.rust-lang.org/nightly/reference/behavior-considered-undefined.html for further information")), ], diff --git a/src/tools/miri/tests/fail/data_race/alloc_read_race.stderr b/src/tools/miri/tests/fail/data_race/alloc_read_race.stderr index ff79f07ba87..9b487daccad 100644 --- a/src/tools/miri/tests/fail/data_race/alloc_read_race.stderr +++ b/src/tools/miri/tests/fail/data_race/alloc_read_race.stderr @@ -4,7 +4,7 @@ error: Undefined Behavior: Data race detected between Read on thread `` LL | *pointer.load(Ordering::Relaxed) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Data race detected between Read on thread `` and Allocate on thread `` at ALLOC. The Read is here | -help: and Allocate on thread ``, which is here +help: and the Allocate on thread `` is here --> $DIR/alloc_read_race.rs:LL:CC | LL | pointer.store(Box::into_raw(Box::new_uninit()), Ordering::Relaxed); diff --git a/src/tools/miri/tests/fail/data_race/alloc_write_race.stderr b/src/tools/miri/tests/fail/data_race/alloc_write_race.stderr index 2398cbf12e4..7b1fcdf05b7 100644 --- a/src/tools/miri/tests/fail/data_race/alloc_write_race.stderr +++ b/src/tools/miri/tests/fail/data_race/alloc_write_race.stderr @@ -4,7 +4,7 @@ error: Undefined Behavior: Data race detected between Write on thread ` LL | *pointer.load(Ordering::Relaxed) = 2; | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Data race detected between Write on thread `` and Allocate on thread `` at ALLOC. The Write is here | -help: and Allocate on thread ``, which is here +help: and the Allocate on thread `` is here --> $DIR/alloc_write_race.rs:LL:CC | LL | .store(Box::into_raw(Box::::new_uninit()) as *mut usize, Ordering::Relaxed); diff --git a/src/tools/miri/tests/fail/data_race/atomic_read_na_write_race1.stderr b/src/tools/miri/tests/fail/data_race/atomic_read_na_write_race1.stderr index 15cfaef11cb..a66f73bf57d 100644 --- a/src/tools/miri/tests/fail/data_race/atomic_read_na_write_race1.stderr +++ b/src/tools/miri/tests/fail/data_race/atomic_read_na_write_race1.stderr @@ -4,7 +4,7 @@ error: Undefined Behavior: Data race detected between Atomic Load on thread `` and Write on thread `` at ALLOC. The Atomic Load is here | -help: and Write on thread ``, which is here +help: and the Write on thread `` is here --> $DIR/atomic_read_na_write_race1.rs:LL:CC | LL | *(c.0 as *mut usize) = 32; diff --git a/src/tools/miri/tests/fail/data_race/atomic_read_na_write_race2.stderr b/src/tools/miri/tests/fail/data_race/atomic_read_na_write_race2.stderr index d4989146577..776ca8bc4d4 100644 --- a/src/tools/miri/tests/fail/data_race/atomic_read_na_write_race2.stderr +++ b/src/tools/miri/tests/fail/data_race/atomic_read_na_write_race2.stderr @@ -4,7 +4,7 @@ error: Undefined Behavior: Data race detected between Write on thread ` LL | *atomic_ref.get_mut() = 32; | ^^^^^^^^^^^^^^^^^^^^^^^^^^ Data race detected between Write on thread `` and Atomic Load on thread `` at ALLOC. The Write is here | -help: and Atomic Load on thread ``, which is here +help: and the Atomic Load on thread `` is here --> $DIR/atomic_read_na_write_race2.rs:LL:CC | LL | atomic_ref.load(Ordering::SeqCst) diff --git a/src/tools/miri/tests/fail/data_race/atomic_write_na_read_race1.stderr b/src/tools/miri/tests/fail/data_race/atomic_write_na_read_race1.stderr index 5378ea60672..a59b4490941 100644 --- a/src/tools/miri/tests/fail/data_race/atomic_write_na_read_race1.stderr +++ b/src/tools/miri/tests/fail/data_race/atomic_write_na_read_race1.stderr @@ -4,7 +4,7 @@ error: Undefined Behavior: Data race detected between Read on thread `` LL | *atomic_ref.get_mut() | ^^^^^^^^^^^^^^^^^^^^^ Data race detected between Read on thread `` and Atomic Store on thread `` at ALLOC. The Read is here | -help: and Atomic Store on thread ``, which is here +help: and the Atomic Store on thread `` is here --> $DIR/atomic_write_na_read_race1.rs:LL:CC | LL | atomic_ref.store(32, Ordering::SeqCst) diff --git a/src/tools/miri/tests/fail/data_race/atomic_write_na_read_race2.stderr b/src/tools/miri/tests/fail/data_race/atomic_write_na_read_race2.stderr index 3da2f624bfc..5fb0821e540 100644 --- a/src/tools/miri/tests/fail/data_race/atomic_write_na_read_race2.stderr +++ b/src/tools/miri/tests/fail/data_race/atomic_write_na_read_race2.stderr @@ -4,7 +4,7 @@ error: Undefined Behavior: Data race detected between Atomic Store on thread `` and Read on thread `` at ALLOC. The Atomic Store is here | -help: and Read on thread ``, which is here +help: and the Read on thread `` is here --> $DIR/atomic_write_na_read_race2.rs:LL:CC | LL | let _val = *(c.0 as *mut usize); diff --git a/src/tools/miri/tests/fail/data_race/atomic_write_na_write_race1.stderr b/src/tools/miri/tests/fail/data_race/atomic_write_na_write_race1.stderr index 4d1dbc0b846..ec4e2da26bf 100644 --- a/src/tools/miri/tests/fail/data_race/atomic_write_na_write_race1.stderr +++ b/src/tools/miri/tests/fail/data_race/atomic_write_na_write_race1.stderr @@ -4,7 +4,7 @@ error: Undefined Behavior: Data race detected between Atomic Store on thread `` and Write on thread `` at ALLOC. The Atomic Store is here | -help: and Write on thread ``, which is here +help: and the Write on thread `` is here --> $DIR/atomic_write_na_write_race1.rs:LL:CC | LL | *(c.0 as *mut usize) = 32; diff --git a/src/tools/miri/tests/fail/data_race/atomic_write_na_write_race2.stderr b/src/tools/miri/tests/fail/data_race/atomic_write_na_write_race2.stderr index cec68ba159f..d532ce4db67 100644 --- a/src/tools/miri/tests/fail/data_race/atomic_write_na_write_race2.stderr +++ b/src/tools/miri/tests/fail/data_race/atomic_write_na_write_race2.stderr @@ -4,7 +4,7 @@ error: Undefined Behavior: Data race detected between Write on thread ` LL | *atomic_ref.get_mut() = 32; | ^^^^^^^^^^^^^^^^^^^^^^^^^^ Data race detected between Write on thread `` and Atomic Store on thread `` at ALLOC. The Write is here | -help: and Atomic Store on thread ``, which is here +help: and the Atomic Store on thread `` is here --> $DIR/atomic_write_na_write_race2.rs:LL:CC | LL | atomic_ref.store(64, Ordering::SeqCst); diff --git a/src/tools/miri/tests/fail/data_race/dangling_thread_async_race.stderr b/src/tools/miri/tests/fail/data_race/dangling_thread_async_race.stderr index 7ef38c6706c..0eb51d7c95e 100644 --- a/src/tools/miri/tests/fail/data_race/dangling_thread_async_race.stderr +++ b/src/tools/miri/tests/fail/data_race/dangling_thread_async_race.stderr @@ -4,7 +4,7 @@ error: Undefined Behavior: Data race detected between Write on thread ` LL | *c.0 = 64; | ^^^^^^^^^ Data race detected between Write on thread `` and Write on thread `` at ALLOC. The Write is here | -help: and Write on thread ``, which is here +help: and the Write on thread `` is here --> $DIR/dangling_thread_async_race.rs:LL:CC | LL | *c.0 = 32; diff --git a/src/tools/miri/tests/fail/data_race/dangling_thread_race.stderr b/src/tools/miri/tests/fail/data_race/dangling_thread_race.stderr index 3f556b6a8a8..bd1de464ea6 100644 --- a/src/tools/miri/tests/fail/data_race/dangling_thread_race.stderr +++ b/src/tools/miri/tests/fail/data_race/dangling_thread_race.stderr @@ -4,7 +4,7 @@ error: Undefined Behavior: Data race detected between Write on thread `main` and LL | *c.0 = 64; | ^^^^^^^^^ Data race detected between Write on thread `main` and Write on thread `` at ALLOC. The Write is here | -help: and Write on thread ``, which is here +help: and the Write on thread `` is here --> $DIR/dangling_thread_race.rs:LL:CC | LL | *c.0 = 32; diff --git a/src/tools/miri/tests/fail/data_race/dealloc_read_race1.stderr b/src/tools/miri/tests/fail/data_race/dealloc_read_race1.stderr index af2b2ed3987..051ba69c973 100644 --- a/src/tools/miri/tests/fail/data_race/dealloc_read_race1.stderr +++ b/src/tools/miri/tests/fail/data_race/dealloc_read_race1.stderr @@ -9,7 +9,7 @@ LL | | std::mem::align_of::(), LL | | ); | |_____________^ Data race detected between Deallocate on thread `` and Read on thread `` at ALLOC. The Deallocate is here | -help: and Read on thread ``, which is here +help: and the Read on thread `` is here --> $DIR/dealloc_read_race1.rs:LL:CC | LL | let _val = *ptr.0; diff --git a/src/tools/miri/tests/fail/data_race/dealloc_read_race_stack.stderr b/src/tools/miri/tests/fail/data_race/dealloc_read_race_stack.stderr index d6b2a8a573f..c147f33b950 100644 --- a/src/tools/miri/tests/fail/data_race/dealloc_read_race_stack.stderr +++ b/src/tools/miri/tests/fail/data_race/dealloc_read_race_stack.stderr @@ -4,7 +4,7 @@ error: Undefined Behavior: Data race detected between Deallocate on thread `` and Read on thread `` at ALLOC. The Deallocate is here | -help: and Read on thread ``, which is here +help: and the Read on thread `` is here --> $DIR/dealloc_read_race_stack.rs:LL:CC | LL | *pointer.load(Ordering::Acquire) diff --git a/src/tools/miri/tests/fail/data_race/dealloc_write_race1.stderr b/src/tools/miri/tests/fail/data_race/dealloc_write_race1.stderr index 6b235f651af..de712752611 100644 --- a/src/tools/miri/tests/fail/data_race/dealloc_write_race1.stderr +++ b/src/tools/miri/tests/fail/data_race/dealloc_write_race1.stderr @@ -9,7 +9,7 @@ LL | | std::mem::align_of::(), LL | | ); | |_____________^ Data race detected between Deallocate on thread `` and Write on thread `` at ALLOC. The Deallocate is here | -help: and Write on thread ``, which is here +help: and the Write on thread `` is here --> $DIR/dealloc_write_race1.rs:LL:CC | LL | *ptr.0 = 2; diff --git a/src/tools/miri/tests/fail/data_race/dealloc_write_race_stack.stderr b/src/tools/miri/tests/fail/data_race/dealloc_write_race_stack.stderr index 6e20a1aa5e9..142c90b0b99 100644 --- a/src/tools/miri/tests/fail/data_race/dealloc_write_race_stack.stderr +++ b/src/tools/miri/tests/fail/data_race/dealloc_write_race_stack.stderr @@ -4,7 +4,7 @@ error: Undefined Behavior: Data race detected between Deallocate on thread `` and Write on thread `` at ALLOC. The Deallocate is here | -help: and Write on thread ``, which is here +help: and the Write on thread `` is here --> $DIR/dealloc_write_race_stack.rs:LL:CC | LL | *pointer.load(Ordering::Acquire) = 3; diff --git a/src/tools/miri/tests/fail/data_race/enable_after_join_to_main.stderr b/src/tools/miri/tests/fail/data_race/enable_after_join_to_main.stderr index 70d671ea7b7..bb791300f56 100644 --- a/src/tools/miri/tests/fail/data_race/enable_after_join_to_main.stderr +++ b/src/tools/miri/tests/fail/data_race/enable_after_join_to_main.stderr @@ -4,7 +4,7 @@ error: Undefined Behavior: Data race detected between Write on thread ` LL | *c.0 = 64; | ^^^^^^^^^ Data race detected between Write on thread `` and Write on thread `` at ALLOC. The Write is here | -help: and Write on thread ``, which is here +help: and the Write on thread `` is here --> $DIR/enable_after_join_to_main.rs:LL:CC | LL | *c.0 = 32; diff --git a/src/tools/miri/tests/fail/data_race/fence_after_load.stderr b/src/tools/miri/tests/fail/data_race/fence_after_load.stderr index d073124df00..c44bc743ab6 100644 --- a/src/tools/miri/tests/fail/data_race/fence_after_load.stderr +++ b/src/tools/miri/tests/fail/data_race/fence_after_load.stderr @@ -4,7 +4,7 @@ error: Undefined Behavior: Data race detected between Write on thread `main` and LL | unsafe { V = 2 } | ^^^^^ Data race detected between Write on thread `main` and Write on thread `` at ALLOC. The Write is here | -help: and Write on thread ``, which is here +help: and the Write on thread `` is here --> $DIR/fence_after_load.rs:LL:CC | LL | unsafe { V = 1 } diff --git a/src/tools/miri/tests/fail/data_race/read_write_race.stderr b/src/tools/miri/tests/fail/data_race/read_write_race.stderr index ae237a9890d..ac08d2d7901 100644 --- a/src/tools/miri/tests/fail/data_race/read_write_race.stderr +++ b/src/tools/miri/tests/fail/data_race/read_write_race.stderr @@ -4,7 +4,7 @@ error: Undefined Behavior: Data race detected between Write on thread ` LL | *c.0 = 64; | ^^^^^^^^^ Data race detected between Write on thread `` and Read on thread `` at ALLOC. The Write is here | -help: and Read on thread ``, which is here +help: and the Read on thread `` is here --> $DIR/read_write_race.rs:LL:CC | LL | let _val = *c.0; diff --git a/src/tools/miri/tests/fail/data_race/read_write_race_stack.stderr b/src/tools/miri/tests/fail/data_race/read_write_race_stack.stderr index ec01d9be6e2..996f1ec6fab 100644 --- a/src/tools/miri/tests/fail/data_race/read_write_race_stack.stderr +++ b/src/tools/miri/tests/fail/data_race/read_write_race_stack.stderr @@ -4,7 +4,7 @@ error: Undefined Behavior: Data race detected between Read on thread `` LL | stack_var | ^^^^^^^^^ Data race detected between Read on thread `` and Write on thread `` at ALLOC. The Read is here | -help: and Write on thread ``, which is here +help: and the Write on thread `` is here --> $DIR/read_write_race_stack.rs:LL:CC | LL | *pointer.load(Ordering::Acquire) = 3; diff --git a/src/tools/miri/tests/fail/data_race/relax_acquire_race.stderr b/src/tools/miri/tests/fail/data_race/relax_acquire_race.stderr index 50768ebcdb9..4c3021d24d5 100644 --- a/src/tools/miri/tests/fail/data_race/relax_acquire_race.stderr +++ b/src/tools/miri/tests/fail/data_race/relax_acquire_race.stderr @@ -4,7 +4,7 @@ error: Undefined Behavior: Data race detected between Read on thread `` LL | *c.0 | ^^^^ Data race detected between Read on thread `` and Write on thread `` at ALLOC. The Read is here | -help: and Write on thread ``, which is here +help: and the Write on thread `` is here --> $DIR/relax_acquire_race.rs:LL:CC | LL | *c.0 = 1; diff --git a/src/tools/miri/tests/fail/data_race/release_seq_race.stderr b/src/tools/miri/tests/fail/data_race/release_seq_race.stderr index c3348ae0a3e..ee0853dca64 100644 --- a/src/tools/miri/tests/fail/data_race/release_seq_race.stderr +++ b/src/tools/miri/tests/fail/data_race/release_seq_race.stderr @@ -4,7 +4,7 @@ error: Undefined Behavior: Data race detected between Read on thread `` LL | *c.0 | ^^^^ Data race detected between Read on thread `` and Write on thread `` at ALLOC. The Read is here | -help: and Write on thread ``, which is here +help: and the Write on thread `` is here --> $DIR/release_seq_race.rs:LL:CC | LL | *c.0 = 1; diff --git a/src/tools/miri/tests/fail/data_race/release_seq_race_same_thread.stderr b/src/tools/miri/tests/fail/data_race/release_seq_race_same_thread.stderr index 522226faa40..8156fa717e7 100644 --- a/src/tools/miri/tests/fail/data_race/release_seq_race_same_thread.stderr +++ b/src/tools/miri/tests/fail/data_race/release_seq_race_same_thread.stderr @@ -4,7 +4,7 @@ error: Undefined Behavior: Data race detected between Read on thread `` LL | *c.0 | ^^^^ Data race detected between Read on thread `` and Write on thread `` at ALLOC. The Read is here | -help: and Write on thread ``, which is here +help: and the Write on thread `` is here --> $DIR/release_seq_race_same_thread.rs:LL:CC | LL | *c.0 = 1; diff --git a/src/tools/miri/tests/fail/data_race/rmw_race.stderr b/src/tools/miri/tests/fail/data_race/rmw_race.stderr index 672f08c4221..c8089cf06d9 100644 --- a/src/tools/miri/tests/fail/data_race/rmw_race.stderr +++ b/src/tools/miri/tests/fail/data_race/rmw_race.stderr @@ -4,7 +4,7 @@ error: Undefined Behavior: Data race detected between Read on thread `` LL | *c.0 | ^^^^ Data race detected between Read on thread `` and Write on thread `` at ALLOC. The Read is here | -help: and Write on thread ``, which is here +help: and the Write on thread `` is here --> $DIR/rmw_race.rs:LL:CC | LL | *c.0 = 1; diff --git a/src/tools/miri/tests/fail/data_race/stack_pop_race.stderr b/src/tools/miri/tests/fail/data_race/stack_pop_race.stderr index e21fe201d1d..fb6f4470f80 100644 --- a/src/tools/miri/tests/fail/data_race/stack_pop_race.stderr +++ b/src/tools/miri/tests/fail/data_race/stack_pop_race.stderr @@ -4,7 +4,7 @@ error: Undefined Behavior: Data race detected between Deallocate on thread `main LL | } | ^ Data race detected between Deallocate on thread `main` and Read on thread `` at ALLOC. The Deallocate is here | -help: and Read on thread ``, which is here +help: and the Read on thread `` is here --> $DIR/stack_pop_race.rs:LL:CC | LL | let _val = unsafe { *ptr.0 }; diff --git a/src/tools/miri/tests/fail/data_race/write_write_race.stderr b/src/tools/miri/tests/fail/data_race/write_write_race.stderr index 1f67303e596..27218cf77dd 100644 --- a/src/tools/miri/tests/fail/data_race/write_write_race.stderr +++ b/src/tools/miri/tests/fail/data_race/write_write_race.stderr @@ -4,7 +4,7 @@ error: Undefined Behavior: Data race detected between Write on thread ` LL | *c.0 = 64; | ^^^^^^^^^ Data race detected between Write on thread `` and Write on thread `` at ALLOC. The Write is here | -help: and Write on thread ``, which is here +help: and the Write on thread `` is here --> $DIR/write_write_race.rs:LL:CC | LL | *c.0 = 32; diff --git a/src/tools/miri/tests/fail/data_race/write_write_race_stack.stderr b/src/tools/miri/tests/fail/data_race/write_write_race_stack.stderr index 5b6481327ce..9f3dcf61701 100644 --- a/src/tools/miri/tests/fail/data_race/write_write_race_stack.stderr +++ b/src/tools/miri/tests/fail/data_race/write_write_race_stack.stderr @@ -4,7 +4,7 @@ error: Undefined Behavior: Data race detected between Write on thread ` LL | stack_var = 1usize; | ^^^^^^^^^^^^^^^^^^ Data race detected between Write on thread `` and Write on thread `` at ALLOC. The Write is here | -help: and Write on thread ``, which is here +help: and the Write on thread `` is here --> $DIR/write_write_race_stack.rs:LL:CC | LL | *pointer.load(Ordering::Acquire) = 3; diff --git a/src/tools/miri/tests/fail/stacked_borrows/retag_data_race_read.stderr b/src/tools/miri/tests/fail/stacked_borrows/retag_data_race_read.stderr index 6f9ea26c088..ea2b8c8c0ac 100644 --- a/src/tools/miri/tests/fail/stacked_borrows/retag_data_race_read.stderr +++ b/src/tools/miri/tests/fail/stacked_borrows/retag_data_race_read.stderr @@ -4,7 +4,7 @@ error: Undefined Behavior: Data race detected between Write on thread ` LL | *p = 5; | ^^^^^^ Data race detected between Write on thread `` and Read on thread `` at ALLOC. The Write is here | -help: and Read on thread ``, which is here +help: and the Read on thread `` is here --> $DIR/retag_data_race_read.rs:LL:CC | LL | let _r = &*p; diff --git a/src/tools/miri/tests/fail/stacked_borrows/retag_data_race_write.stderr b/src/tools/miri/tests/fail/stacked_borrows/retag_data_race_write.stderr index 44f17bd6ffa..34170bb0b3e 100644 --- a/src/tools/miri/tests/fail/stacked_borrows/retag_data_race_write.stderr +++ b/src/tools/miri/tests/fail/stacked_borrows/retag_data_race_write.stderr @@ -4,7 +4,7 @@ error: Undefined Behavior: Data race detected between Write on thread ` LL | *p = 5; | ^^^^^^ Data race detected between Write on thread `` and Write on thread `` at ALLOC. The Write is here | -help: and Write on thread ``, which is here +help: and the Write on thread `` is here --> $DIR/retag_data_race_write.rs:LL:CC | LL | let _r = &mut *p;