]> git.lizzy.rs Git - rust.git/blobdiff - src/tools/miri/tests/fail/stacked_borrows/deallocate_against_protector1.rs
Rollup merge of #106146 - kadiwa4:readme-x-py, r=jyn514
[rust.git] / src / tools / miri / tests / fail / stacked_borrows / deallocate_against_protector1.rs
index 9b710424c55c4fc1188d3e3d290331c9aaa421b3..4036dce5bebab1a5995da3daead21bd32c365950 100644 (file)
@@ -1,4 +1,4 @@
-//@error-pattern: /deallocating while item \[Unique for .*\] is protected/
+//@error-pattern: /deallocating while item \[Unique for .*\] is strongly protected/
 
 fn inner(x: &mut i32, f: fn(&mut i32)) {
     // `f` may mutate, but it may not deallocate!