diff options
| author | Ralf Jung <post@ralfj.de> | 2023-04-29 23:46:14 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2023-04-29 23:46:14 +0200 |
| commit | 0b4d787b1d75e099c6cbc87d1de35293df9cb2f8 (patch) | |
| tree | 5a9c43f9effeb7b82b9a2741a2e3fcc169ba5774 | |
| parent | 98c2d336ae3fc1bd7ef529e97289ea6f5942f0ec (diff) | |
| download | rust-0b4d787b1d75e099c6cbc87d1de35293df9cb2f8.tar.gz rust-0b4d787b1d75e099c6cbc87d1de35293df9cb2f8.zip | |
bless
| -rw-r--r-- | src/tools/miri/tests/fail/tree-borrows/fragile-data-race.stderr | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/tools/miri/tests/fail/tree-borrows/fragile-data-race.stderr b/src/tools/miri/tests/fail/tree-borrows/fragile-data-race.stderr index 8e80bdd63c0..79744964a8b 100644 --- a/src/tools/miri/tests/fail/tree-borrows/fragile-data-race.stderr +++ b/src/tools/miri/tests/fail/tree-borrows/fragile-data-race.stderr @@ -20,8 +20,8 @@ LL | pub fn catch_unwind<F: FnOnce() -> R + UnwindSafe, R>(f: F) -> Result<R> { help: the conflicting tag <TAG> then transitioned from Reserved to Frozen due to a foreign read access at offsets [0x0..0x1] --> RUSTLIB/core/src/ptr/mod.rs:LL:CC | -LL | crate::intrinsics::read_via_copy(src) - | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ +LL | crate::intrinsics::read_via_copy(src) + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ = help: this corresponds to a loss of write permissions = note: BACKTRACE (of the first span): = note: inside `main` at $DIR/fragile-data-race.rs:LL:CC |