bless

tests/fail/box-cell-alias.stderr

@@ -7,7 +7,7 @@ LL |     unsafe { (*ptr).set(20); }
    |              trying to reborrow <TAG> for SharedReadWrite permission at ALLOC[0x0], but that tag does not exist in the borrow stack for this location
    |              this error occurs as part of a reborrow at ALLOC[0x0..0x1]
    |
-   = help: this indicates a potential bug in the program: it performed an invalid operation, but the rules it violated are still experimental
+   = help: this indicates a potential bug in the program: it performed an invalid operation, but the Stacked Borrows rules it violated are still experimental
    = help: see https://github.com/rust-lang/unsafe-code-guidelines/blob/master/wip/stacked-borrows.md for further information
 help: <TAG> was created by a retag at offsets [0x0..0x1]
   --> $DIR/box-cell-alias.rs:LL:CC

tests/fail/stacked_borrows/alias_through_mutation.stderr

@@ -7,7 +7,7 @@ LL |     let _val = *target_alias;
    |                attempting a read access using <TAG> at ALLOC[0x0], but that tag does not exist in the borrow stack for this location
    |                this error occurs as part of an access at ALLOC[0x0..0x4]
    |
-   = help: this indicates a potential bug in the program: it performed an invalid operation, but the rules it violated are still experimental
+   = help: this indicates a potential bug in the program: it performed an invalid operation, but the Stacked Borrows rules it violated are still experimental
    = help: see https://github.com/rust-lang/unsafe-code-guidelines/blob/master/wip/stacked-borrows.md for further information
 help: <TAG> was created by a retag at offsets [0x0..0x4]
   --> $DIR/alias_through_mutation.rs:LL:CC

tests/fail/stacked_borrows/aliasing_mut1.stderr

@@ -4,7 +4,7 @@ error: Undefined Behavior: not granting access to tag <TAG> because incompatible
 LL | pub fn safe(_x: &mut i32, _y: &mut i32) {}
    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ not granting access to tag <TAG> because incompatible item is protected: [Unique for <TAG> (call ID)]
    |
-   = help: this indicates a potential bug in the program: it performed an invalid operation, but the rules it violated are still experimental
+   = help: this indicates a potential bug in the program: it performed an invalid operation, but the Stacked Borrows rules it violated are still experimental
    = help: see https://github.com/rust-lang/unsafe-code-guidelines/blob/master/wip/stacked-borrows.md for further information
 help: <TAG> was created by a retag at offsets [0x0..0x4]
   --> $DIR/aliasing_mut1.rs:LL:CC

tests/fail/stacked_borrows/aliasing_mut2.stderr

@@ -4,7 +4,7 @@ error: Undefined Behavior: not granting access to tag <TAG> because incompatible
 LL | pub fn safe(_x: &i32, _y: &mut i32) {}
    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ not granting access to tag <TAG> because incompatible item is protected: [SharedReadOnly for <TAG> (call ID)]
    |
-   = help: this indicates a potential bug in the program: it performed an invalid operation, but the rules it violated are still experimental
+   = help: this indicates a potential bug in the program: it performed an invalid operation, but the Stacked Borrows rules it violated are still experimental
    = help: see https://github.com/rust-lang/unsafe-code-guidelines/blob/master/wip/stacked-borrows.md for further information
 help: <TAG> was created by a retag at offsets [0x0..0x4]
   --> $DIR/aliasing_mut2.rs:LL:CC

tests/fail/stacked_borrows/aliasing_mut3.stderr

@@ -7,7 +7,7 @@ LL | pub fn safe(_x: &mut i32, _y: &i32) {}
    | trying to reborrow <untagged> for SharedReadOnly permission at ALLOC[0x0], but that tag does not exist in the borrow stack for this location
    | this error occurs as part of a reborrow at ALLOC[0x0..0x4]
    |
-   = help: this indicates a potential bug in the program: it performed an invalid operation, but the rules it violated are still experimental
+   = help: this indicates a potential bug in the program: it performed an invalid operation, but the Stacked Borrows rules it violated are still experimental
    = help: see https://github.com/rust-lang/unsafe-code-guidelines/blob/master/wip/stacked-borrows.md for further information
 help: tag was most recently created at offsets [0x0..0x4]
   --> $DIR/aliasing_mut3.rs:LL:CC

tests/fail/stacked_borrows/aliasing_mut4.stderr

@@ -4,7 +4,7 @@ error: Undefined Behavior: not granting access to tag <TAG> because incompatible
 LL | pub fn safe(_x: &i32, _y: &mut Cell<i32>) {}
    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ not granting access to tag <TAG> because incompatible item is protected: [SharedReadOnly for <TAG> (call ID)]
    |
-   = help: this indicates a potential bug in the program: it performed an invalid operation, but the rules it violated are still experimental
+   = help: this indicates a potential bug in the program: it performed an invalid operation, but the Stacked Borrows rules it violated are still experimental
    = help: see https://github.com/rust-lang/unsafe-code-guidelines/blob/master/wip/stacked-borrows.md for further information
 help: <TAG> was created by a retag at offsets [0x0..0x4]
   --> $DIR/aliasing_mut4.rs:LL:CC

tests/fail/stacked_borrows/box_exclusive_violation1.stderr

@@ -7,7 +7,7 @@ LL |   *our
    |   attempting a read access using <TAG> at ALLOC[0x0], but that tag does not exist in the borrow stack for this location
    |   this error occurs as part of an access at ALLOC[0x0..0x4]
    |
-   = help: this indicates a potential bug in the program: it performed an invalid operation, but the rules it violated are still experimental
+   = help: this indicates a potential bug in the program: it performed an invalid operation, but the Stacked Borrows rules it violated are still experimental
    = help: see https://github.com/rust-lang/unsafe-code-guidelines/blob/master/wip/stacked-borrows.md for further information
 help: <TAG> was created by a retag at offsets [0x0..0x4]
   --> $DIR/box_exclusive_violation1.rs:LL:CC

tests/fail/stacked_borrows/buggy_as_mut_slice.stderr

@@ -7,7 +7,7 @@ LL |     v1[1] = 5;
    |     attempting a write access using <TAG> at ALLOC[0x4], but that tag does not exist in the borrow stack for this location
    |     this error occurs as part of an access at ALLOC[0x4..0x8]
    |
-   = help: this indicates a potential bug in the program: it performed an invalid operation, but the rules it violated are still experimental
+   = help: this indicates a potential bug in the program: it performed an invalid operation, but the Stacked Borrows rules it violated are still experimental
    = help: see https://github.com/rust-lang/unsafe-code-guidelines/blob/master/wip/stacked-borrows.md for further information
 help: <TAG> was created by a retag at offsets [0x0..0xc]
   --> $DIR/buggy_as_mut_slice.rs:LL:CC

tests/fail/stacked_borrows/buggy_split_at_mut.stderr

@@ -7,7 +7,7 @@ LL |     let (a, b) = safe::split_at_mut(&mut array, 0);
    |          trying to reborrow <TAG> for Unique permission at ALLOC[0x0], but that tag does not exist in the borrow stack for this location
    |          this error occurs as part of a reborrow at ALLOC[0x0..0x10]
    |
-   = help: this indicates a potential bug in the program: it performed an invalid operation, but the rules it violated are still experimental
+   = help: this indicates a potential bug in the program: it performed an invalid operation, but the Stacked Borrows rules it violated are still experimental
    = help: see https://github.com/rust-lang/unsafe-code-guidelines/blob/master/wip/stacked-borrows.md for further information
 help: <TAG> was created by a retag at offsets [0x0..0x10]
   --> $DIR/buggy_split_at_mut.rs:LL:CC

tests/fail/stacked_borrows/deallocate_against_barrier1.stderr

@@ -4,7 +4,7 @@ error: Undefined Behavior: deallocating while item is protected: [Unique for <TA
 LL |     unsafe { __rust_dealloc(ptr, layout.size(), layout.align()) }
    |              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ deallocating while item is protected: [Unique for <TAG> (call ID)]
    |
-   = help: this indicates a potential bug in the program: it performed an invalid operation, but the rules it violated are still experimental
+   = help: this indicates a potential bug in the program: it performed an invalid operation, but the Stacked Borrows rules it violated are still experimental
    = help: see https://github.com/rust-lang/unsafe-code-guidelines/blob/master/wip/stacked-borrows.md for further information
 
    = note: inside `std::alloc::dealloc` at RUSTLIB/alloc/src/alloc.rs:LL:CC

tests/fail/stacked_borrows/deallocate_against_barrier2.stderr

@@ -4,7 +4,7 @@ error: Undefined Behavior: deallocating while item is protected: [SharedReadWrit
 LL |     unsafe { __rust_dealloc(ptr, layout.size(), layout.align()) }
    |              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ deallocating while item is protected: [SharedReadWrite for <TAG> (call ID)]
    |
-   = help: this indicates a potential bug in the program: it performed an invalid operation, but the rules it violated are still experimental
+   = help: this indicates a potential bug in the program: it performed an invalid operation, but the Stacked Borrows rules it violated are still experimental
    = help: see https://github.com/rust-lang/unsafe-code-guidelines/blob/master/wip/stacked-borrows.md for further information
 
    = note: inside `std::alloc::dealloc` at RUSTLIB/alloc/src/alloc.rs:LL:CC

tests/fail/stacked_borrows/illegal_read1.stderr

@@ -7,7 +7,7 @@ LL |     let _val = *xref; // ...but any use of raw will invalidate our ref.
    |                attempting a read access using <TAG> at ALLOC[0x0], but that tag does not exist in the borrow stack for this location
    |                this error occurs as part of an access at ALLOC[0x0..0x4]
    |
-   = help: this indicates a potential bug in the program: it performed an invalid operation, but the rules it violated are still experimental
+   = help: this indicates a potential bug in the program: it performed an invalid operation, but the Stacked Borrows rules it violated are still experimental
    = help: see https://github.com/rust-lang/unsafe-code-guidelines/blob/master/wip/stacked-borrows.md for further information
 help: <TAG> was created by a retag at offsets [0x0..0x4]
   --> $DIR/illegal_read1.rs:LL:CC

tests/fail/stacked_borrows/illegal_read2.stderr

@@ -7,7 +7,7 @@ LL |     let _val = *xref; // ...but any use of raw will invalidate our ref.
    |                attempting a read access using <TAG> at ALLOC[0x0], but that tag does not exist in the borrow stack for this location
    |                this error occurs as part of an access at ALLOC[0x0..0x4]
    |
-   = help: this indicates a potential bug in the program: it performed an invalid operation, but the rules it violated are still experimental
+   = help: this indicates a potential bug in the program: it performed an invalid operation, but the Stacked Borrows rules it violated are still experimental
    = help: see https://github.com/rust-lang/unsafe-code-guidelines/blob/master/wip/stacked-borrows.md for further information
 help: <TAG> was created by a retag at offsets [0x0..0x4]
   --> $DIR/illegal_read2.rs:LL:CC

tests/fail/stacked_borrows/illegal_read3.stderr

@@ -7,7 +7,7 @@ LL |     let _val = *xref2;
    |                attempting a read access using <TAG> at ALLOC[0x0], but that tag does not exist in the borrow stack for this location
    |                this error occurs as part of an access at ALLOC[0x0..0x4]
    |
-   = help: this indicates a potential bug in the program: it performed an invalid operation, but the rules it violated are still experimental
+   = help: this indicates a potential bug in the program: it performed an invalid operation, but the Stacked Borrows rules it violated are still experimental
    = help: see https://github.com/rust-lang/unsafe-code-guidelines/blob/master/wip/stacked-borrows.md for further information
 help: <TAG> was created by a retag at offsets [0x0..0x4]
   --> $DIR/illegal_read3.rs:LL:CC

tests/fail/stacked_borrows/illegal_read4.stderr

@@ -7,7 +7,7 @@ LL |     let _illegal = *xref2;
    |                    attempting a read access using <TAG> at ALLOC[0x0], but that tag does not exist in the borrow stack for this location
    |                    this error occurs as part of an access at ALLOC[0x0..0x4]
    |
-   = help: this indicates a potential bug in the program: it performed an invalid operation, but the rules it violated are still experimental
+   = help: this indicates a potential bug in the program: it performed an invalid operation, but the Stacked Borrows rules it violated are still experimental
    = help: see https://github.com/rust-lang/unsafe-code-guidelines/blob/master/wip/stacked-borrows.md for further information
 help: <TAG> was created by a retag at offsets [0x0..0x4]
   --> $DIR/illegal_read4.rs:LL:CC

tests/fail/stacked_borrows/illegal_read5.stderr

@@ -7,7 +7,7 @@ LL |     let _val = *xref; // the mutable one is dead and gone
    |                attempting a read access using <TAG> at ALLOC[$HEX], but that tag does not exist in the borrow stack for this location
    |                this error occurs as part of an access at ALLOC[$HEX..$HEX]
    |
-   = help: this indicates a potential bug in the program: it performed an invalid operation, but the rules it violated are still experimental
+   = help: this indicates a potential bug in the program: it performed an invalid operation, but the Stacked Borrows rules it violated are still experimental
    = help: see https://github.com/rust-lang/unsafe-code-guidelines/blob/master/wip/stacked-borrows.md for further information
 help: <TAG> was created by a retag at offsets [$HEX..$HEX]
   --> $DIR/illegal_read5.rs:LL:CC

tests/fail/stacked_borrows/illegal_read6.stderr

@@ -7,7 +7,7 @@ LL |     let _val = *raw;
    |                attempting a read access using <untagged> at ALLOC[0x0], but that tag does not exist in the borrow stack for this location
    |                this error occurs as part of an access at ALLOC[0x0..0x4]
    |
-   = help: this indicates a potential bug in the program: it performed an invalid operation, but the rules it violated are still experimental
+   = help: this indicates a potential bug in the program: it performed an invalid operation, but the Stacked Borrows rules it violated are still experimental
    = help: see https://github.com/rust-lang/unsafe-code-guidelines/blob/master/wip/stacked-borrows.md for further information
 help: tag was most recently created at offsets [0x0..0x4]
   --> $DIR/illegal_read6.rs:LL:CC

tests/fail/stacked_borrows/illegal_read7.stderr

@@ -7,7 +7,7 @@ LL |     let _val = *x.get_mut();
    |                 trying to reborrow <TAG> for SharedReadWrite permission at ALLOC[0x0], but that tag does not exist in the borrow stack for this location
    |                 this error occurs as part of a reborrow at ALLOC[0x0..0x4]
    |
-   = help: this indicates a potential bug in the program: it performed an invalid operation, but the rules it violated are still experimental
+   = help: this indicates a potential bug in the program: it performed an invalid operation, but the Stacked Borrows rules it violated are still experimental
    = help: see https://github.com/rust-lang/unsafe-code-guidelines/blob/master/wip/stacked-borrows.md for further information
 help: <TAG> was created by a retag at offsets [0x0..0x4]
   --> $DIR/illegal_read7.rs:LL:CC

tests/fail/stacked_borrows/illegal_read8.stderr

@@ -7,7 +7,7 @@ LL |     let _fail = *y1;
    |                 attempting a read access using <TAG> at ALLOC[0x0], but that tag does not exist in the borrow stack for this location
    |                 this error occurs as part of an access at ALLOC[0x0..0x4]
    |
-   = help: this indicates a potential bug in the program: it performed an invalid operation, but the rules it violated are still experimental
+   = help: this indicates a potential bug in the program: it performed an invalid operation, but the Stacked Borrows rules it violated are still experimental
    = help: see https://github.com/rust-lang/unsafe-code-guidelines/blob/master/wip/stacked-borrows.md for further information
 help: <TAG> was created by a retag at offsets [0x0..0x4]
   --> $DIR/illegal_read8.rs:LL:CC

tests/fail/stacked_borrows/illegal_write1.stderr

@@ -7,7 +7,7 @@ LL |     let _x = *xref;
    |              attempting a read access using <TAG> at ALLOC[0x0], but that tag does not exist in the borrow stack for this location
    |              this error occurs as part of an access at ALLOC[0x0..0x4]
    |
-   = help: this indicates a potential bug in the program: it performed an invalid operation, but the rules it violated are still experimental
+   = help: this indicates a potential bug in the program: it performed an invalid operation, but the Stacked Borrows rules it violated are still experimental
    = help: see https://github.com/rust-lang/unsafe-code-guidelines/blob/master/wip/stacked-borrows.md for further information
 help: <TAG> was created by a retag at offsets [0x0..0x4]
   --> $DIR/illegal_write1.rs:LL:CC

tests/fail/stacked_borrows/illegal_write2.stderr

@@ -7,7 +7,7 @@ LL |     unsafe { *target2 = 13; }
    |              attempting a write access using <untagged> at ALLOC[0x0], but that tag does not exist in the borrow stack for this location
    |              this error occurs as part of an access at ALLOC[0x0..0x4]
    |
-   = help: this indicates a potential bug in the program: it performed an invalid operation, but the rules it violated are still experimental
+   = help: this indicates a potential bug in the program: it performed an invalid operation, but the Stacked Borrows rules it violated are still experimental
    = help: see https://github.com/rust-lang/unsafe-code-guidelines/blob/master/wip/stacked-borrows.md for further information
 help: tag was most recently created at offsets [0x0..0x4]
   --> $DIR/illegal_write2.rs:LL:CC

tests/fail/stacked_borrows/illegal_write3.stderr

@@ -7,7 +7,7 @@ LL |     unsafe { *ptr = 42; }
    |              attempting a write access using <untagged> at ALLOC[0x0], but that tag only grants SharedReadOnly permission for this location
    |              this error occurs as part of an access at ALLOC[0x0..0x4]
    |
-   = help: this indicates a potential bug in the program: it performed an invalid operation, but the rules it violated are still experimental
+   = help: this indicates a potential bug in the program: it performed an invalid operation, but the Stacked Borrows rules it violated are still experimental
    = help: see https://github.com/rust-lang/unsafe-code-guidelines/blob/master/wip/stacked-borrows.md for further information
 help: tag was most recently created at offsets [0x0..0x4]
   --> $DIR/illegal_write3.rs:LL:CC

tests/fail/stacked_borrows/illegal_write4.stderr

@@ -7,7 +7,7 @@ LL |     let _val = *reference;
    |                attempting a read access using <TAG> at ALLOC[0x0], but that tag does not exist in the borrow stack for this location
    |                this error occurs as part of an access at ALLOC[0x0..0x4]
    |
-   = help: this indicates a potential bug in the program: it performed an invalid operation, but the rules it violated are still experimental
+   = help: this indicates a potential bug in the program: it performed an invalid operation, but the Stacked Borrows rules it violated are still experimental
    = help: see https://github.com/rust-lang/unsafe-code-guidelines/blob/master/wip/stacked-borrows.md for further information
 help: <TAG> was created by a retag at offsets [0x0..0x4]
   --> $DIR/illegal_write4.rs:LL:CC

tests/fail/stacked_borrows/illegal_write5.stderr

@@ -7,7 +7,7 @@ LL |     let _val = *xref;
    |                attempting a read access using <TAG> at ALLOC[0x0], but that tag does not exist in the borrow stack for this location
    |                this error occurs as part of an access at ALLOC[0x0..0x4]
    |
-   = help: this indicates a potential bug in the program: it performed an invalid operation, but the rules it violated are still experimental
+   = help: this indicates a potential bug in the program: it performed an invalid operation, but the Stacked Borrows rules it violated are still experimental
    = help: see https://github.com/rust-lang/unsafe-code-guidelines/blob/master/wip/stacked-borrows.md for further information
 help: <TAG> was created by a retag at offsets [0x0..0x4]
   --> $DIR/illegal_write5.rs:LL:CC

tests/fail/stacked_borrows/illegal_write6.stderr

@@ -4,7 +4,7 @@ error: Undefined Behavior: not granting access to tag <untagged> because incompa
 LL |     unsafe { *y = 2; }
    |              ^^^^^^ not granting access to tag <untagged> because incompatible item is protected: [Unique for <TAG> (call ID)]
    |
-   = help: this indicates a potential bug in the program: it performed an invalid operation, but the rules it violated are still experimental
+   = help: this indicates a potential bug in the program: it performed an invalid operation, but the Stacked Borrows rules it violated are still experimental
    = help: see https://github.com/rust-lang/unsafe-code-guidelines/blob/master/wip/stacked-borrows.md for further information
 help: tag was most recently created at offsets [0x0..0x4]
   --> $DIR/illegal_write6.rs:LL:CC