Reintroduce the span printing in miri (plus point to spans where possible)

[rust.git] / src / tools / miri / tests / fail / stacked_borrows / aliasing_mut4.stderr

diff --git a/src/tools/miri/tests/fail/stacked_borrows/aliasing_mut4.stderr b/src/tools/miri/tests/fail/stacked_borrows/aliasing_mut4.stderr
index 07995cdec447d5de715d5ee0d85075909c67e709..6fe0d70902930fe864390ec1e7c0f9914d77dc21 100644 (file)
--- a/src/tools/miri/tests/fail/stacked_borrows/aliasing_mut4.stderr
+++ b/src/tools/miri/tests/fail/stacked_borrows/aliasing_mut4.stderr
@@ -17,7 +17,7 @@ help: <TAG> is this argument
 LL | pub fn safe(_x: &i32, _y: &mut Cell<i32>) {}
    |             ^^
    = note: BACKTRACE:
-   = note: inside `safe`
+   = note: inside `safe` at $DIR/aliasing_mut4.rs:LL:CC
 note: inside `main`
   --> $DIR/aliasing_mut4.rs:LL:CC
    |