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

[rust.git] / src / tools / miri / tests / fail / stacked_borrows / newtype_pair_retagging.rs

diff --git a/src/tools/miri/tests/fail/stacked_borrows/newtype_pair_retagging.rs b/src/tools/miri/tests/fail/stacked_borrows/newtype_pair_retagging.rs
index cc774500a3c69d69351c32d542743fe8f1f81730..c19bcb99cc1cee4bd5ca83381607ae019577f1b7 100644 (file)
--- a/src/tools/miri/tests/fail/stacked_borrows/newtype_pair_retagging.rs
+++ b/src/tools/miri/tests/fail/stacked_borrows/newtype_pair_retagging.rs
@@ -1,4 +1,4 @@
-//@error-pattern: which is protected
+//@error-pattern: which is strongly protected
 struct Newtype<'a>(&'a mut i32, i32);
 
 fn dealloc_while_running(_n: Newtype<'_>, dealloc: impl FnOnce()) {