Bless stderr files after rustfmt

dtolnay · dtolnay · commit 7d40530c523b · 2022-06-21T11:32:15.000-07:00
diff --git a/tests/fail/concurrency/thread_local_static_dealloc.stderr b/tests/fail/concurrency/thread_local_static_dealloc.stderr
@@ -1,8 +1,8 @@
 error: Undefined Behavior: pointer to ALLOC was dereferenced after this allocation got freed
   --> $DIR/thread_local_static_dealloc.rs:LL:CC
    |
-LL |     let _val = *(dangling_ptr as *const u8);
-   |                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ pointer to ALLOC was dereferenced after this allocation got freed
+LL |         let _val = *(dangling_ptr as *const u8);
+   |                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ pointer to ALLOC was dereferenced after this allocation got freed
    |
    = help: this indicates a bug in the program: it performed an invalid operation, and caused Undefined Behavior
    = help: see https://doc.rust-lang.org/nightly/reference/behavior-considered-undefined.html for further information
diff --git a/tests/fail/stacked_borrows/interior_mut2.stderr b/tests/fail/stacked_borrows/interior_mut2.stderr
@@ -1,24 +1,24 @@
 error: Undefined Behavior: trying to reborrow <TAG> for SharedReadWrite permission at ALLOC[0x0], but that tag does not exist in the borrow stack for this location
   --> $DIR/interior_mut2.rs:LL:CC
    |
-LL |     let _val = *inner_shr.get();
-   |                 ^^^^^^^^^^^^^^^
-   |                 |
-   |                 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]
+LL |         let _val = *inner_shr.get();
+   |                     ^^^^^^^^^^^^^^^
+   |                     |
+   |                     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 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/interior_mut2.rs:LL:CC
    |
-LL |     let inner_shr = &*inner_uniq;
-   |                     ^^^^^^^^^^^^
+LL |         let inner_shr = &*inner_uniq;
+   |                         ^^^^^^^^^^^^
 help: <TAG> was later invalidated at offsets [0x0..0x4]
   --> $DIR/interior_mut2.rs:LL:CC
    |
-LL |     *c.get() = UnsafeCell::new(0); // now inner_shr gets invalidated
-   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+LL |         *c.get() = UnsafeCell::new(0); // now inner_shr gets invalidated
+   |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
    = note: inside `main` at $DIR/interior_mut2.rs:LL:CC
 
 note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace
diff --git a/tests/fail/stacked_borrows/issue-miri-1050-1.stderr b/tests/fail/stacked_borrows/issue-miri-1050-1.stderr
@@ -12,8 +12,8 @@ LL |         Box(unsafe { Unique::new_unchecked(raw) }, alloc)
 note: inside `main` at $DIR/issue-miri-1050-1.rs:LL:CC
   --> $DIR/issue-miri-1050-1.rs:LL:CC
    |
-LL |     Box::from_raw(ptr as *mut u32);
-   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+LL |         Box::from_raw(ptr as *mut u32);
+   |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 
 note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace
 
diff --git a/tests/fail/stacked_borrows/issue-miri-1050-2.stderr b/tests/fail/stacked_borrows/issue-miri-1050-2.stderr
@@ -12,8 +12,8 @@ LL |         Box(unsafe { Unique::new_unchecked(raw) }, alloc)
 note: inside `main` at $DIR/issue-miri-1050-2.rs:LL:CC
   --> $DIR/issue-miri-1050-2.rs:LL:CC
    |
-LL |     Box::from_raw(ptr.as_ptr());
-   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^
+LL |         Box::from_raw(ptr.as_ptr());
+   |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^
 
 note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace
 
diff --git a/tests/fail/stacked_borrows/mut_exclusive_violation1.stderr b/tests/fail/stacked_borrows/mut_exclusive_violation1.stderr
@@ -1,30 +1,30 @@
 error: Undefined Behavior: attempting a write access using <untagged> at ALLOC[0x0], but that tag does not exist in the borrow stack for this location
   --> $DIR/mut_exclusive_violation1.rs:LL:CC
    |
-LL |     *LEAK = 7;
-   |     ^^^^^^^^^
-   |     |
-   |     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]
+LL |         *LEAK = 7;
+   |         ^^^^^^^^^
+   |         |
+   |         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 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/mut_exclusive_violation1.rs:LL:CC
    |
-LL |     LEAK = x as *const _ as *mut _;
-   |            ^
+LL |         LEAK = x as *const _ as *mut _;
+   |                ^
 help: tag was later invalidated at offsets [0x0..0x4]
   --> $DIR/mut_exclusive_violation1.rs:LL:CC
    |
-LL |   *our = 5;
-   |   ^^^^^^^^
+LL |     *our = 5;
+   |     ^^^^^^^^
    = note: inside `unknown_code_2` at $DIR/mut_exclusive_violation1.rs:LL:CC
 note: inside `demo_mut_advanced_unique` at $DIR/mut_exclusive_violation1.rs:LL:CC
   --> $DIR/mut_exclusive_violation1.rs:LL:CC
    |
-LL |   unknown_code_2();
-   |   ^^^^^^^^^^^^^^^^
+LL |     unknown_code_2();
+   |     ^^^^^^^^^^^^^^^^
 note: inside `main` at $DIR/mut_exclusive_violation1.rs:LL:CC
   --> $DIR/mut_exclusive_violation1.rs:LL:CC
    |
diff --git a/tests/fail/stacked_borrows/mut_exclusive_violation2.stderr b/tests/fail/stacked_borrows/mut_exclusive_violation2.stderr
@@ -1,24 +1,24 @@
 error: Undefined Behavior: attempting a read access using <TAG> at ALLOC[0x0], but that tag does not exist in the borrow stack for this location
   --> $DIR/mut_exclusive_violation2.rs:LL:CC
    |
-LL |     let _val = *raw1;
-   |                ^^^^^
-   |                |
-   |                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]
+LL |         let _val = *raw1;
+   |                    ^^^^^
+   |                    |
+   |                    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 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/mut_exclusive_violation2.rs:LL:CC
    |
-LL |     let raw1 = ptr1.as_mut();
-   |                ^^^^^^^^^^^^^
+LL |         let raw1 = ptr1.as_mut();
+   |                    ^^^^^^^^^^^^^
 help: <TAG> was later invalidated at offsets [0x0..0x4]
   --> $DIR/mut_exclusive_violation2.rs:LL:CC
    |
-LL |     let _raw2 = ptr2.as_mut();
-   |                 ^^^^^^^^^^^^^
+LL |         let _raw2 = ptr2.as_mut();
+   |                     ^^^^^^^^^^^^^
    = note: inside `main` at $DIR/mut_exclusive_violation2.rs:LL:CC
 
 note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace
diff --git a/tests/fail/stacked_borrows/return_invalid_mut_option.stderr b/tests/fail/stacked_borrows/return_invalid_mut_option.stderr
@@ -1,7 +1,7 @@
 error: Undefined Behavior: trying to reborrow <TAG> for Unique permission at ALLOC[0x4], but that tag does not exist in the borrow stack for this location
   --> $DIR/return_invalid_mut_option.rs:LL:CC
    |
-LL |         Some(_x) => {},
+LL |         Some(_x) => {}
    |              ^^
    |              |
    |              trying to reborrow <TAG> for Unique permission at ALLOC[0x4], but that tag does not exist in the borrow stack for this location
diff --git a/tests/fail/stacked_borrows/return_invalid_shr_option.stderr b/tests/fail/stacked_borrows/return_invalid_shr_option.stderr
@@ -1,7 +1,7 @@
 error: Undefined Behavior: trying to reborrow <TAG> for SharedReadOnly permission at ALLOC[0x4], but that tag does not exist in the borrow stack for this location
   --> $DIR/return_invalid_shr_option.rs:LL:CC
    |
-LL |         Some(_x) => {},
+LL |         Some(_x) => {}
    |              ^^
    |              |
    |              trying to reborrow <TAG> for SharedReadOnly permission at ALLOC[0x4], but that tag does not exist in the borrow stack for this location
diff --git a/tests/fail/stacked_borrows/shared_rw_borrows_are_weak1.stderr b/tests/fail/stacked_borrows/shared_rw_borrows_are_weak1.stderr
@@ -1,24 +1,24 @@
 error: Undefined Behavior: trying to reborrow <TAG> for SharedReadWrite permission at ALLOC[0x0], but that tag does not exist in the borrow stack for this location
   --> $DIR/shared_rw_borrows_are_weak1.rs:LL:CC
    |
-LL |     y.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]
+LL |         y.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 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/shared_rw_borrows_are_weak1.rs:LL:CC
    |
-LL |     let y: &mut Cell<i32> = mem::transmute(&mut *x); // launder lifetime
-   |                             ^^^^^^^^^^^^^^^^^^^^^^^
+LL |         let y: &mut Cell<i32> = mem::transmute(&mut *x); // launder lifetime
+   |                                 ^^^^^^^^^^^^^^^^^^^^^^^
 help: <TAG> was later invalidated at offsets [0x0..0x4]
   --> $DIR/shared_rw_borrows_are_weak1.rs:LL:CC
    |
-LL |     shr_rw.set(1);
-   |     ^^^^^^^^^^^^^
+LL |         shr_rw.set(1);
+   |         ^^^^^^^^^^^^^
    = note: inside `main` at $DIR/shared_rw_borrows_are_weak1.rs:LL:CC
 
 note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace
diff --git a/tests/fail/stacked_borrows/shared_rw_borrows_are_weak2.stderr b/tests/fail/stacked_borrows/shared_rw_borrows_are_weak2.stderr
@@ -1,24 +1,24 @@
 error: Undefined Behavior: attempting a read access using <TAG> at ALLOC[$HEX], but that tag does not exist in the borrow stack for this location
   --> $DIR/shared_rw_borrows_are_weak2.rs:LL:CC
    |
-LL |     let _val = *y;
-   |                ^^
-   |                |
-   |                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]
+LL |         let _val = *y;
+   |                    ^^
+   |                    |
+   |                    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 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/shared_rw_borrows_are_weak2.rs:LL:CC
    |
-LL |     let y: &i32 = mem::transmute(&*x.borrow()); // launder lifetime
-   |                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+LL |         let y: &i32 = mem::transmute(&*x.borrow()); // launder lifetime
+   |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 help: <TAG> was later invalidated at offsets [$HEX..$HEX]
   --> $DIR/shared_rw_borrows_are_weak2.rs:LL:CC
    |
-LL |     shr_rw.replace(1);
-   |     ^^^^^^^^^^^^^^^^^
+LL |         shr_rw.replace(1);
+   |         ^^^^^^^^^^^^^^^^^
    = note: inside `main` at $DIR/shared_rw_borrows_are_weak2.rs:LL:CC
 
 note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace
diff --git a/tests/fail/transmute_fat1.stderr b/tests/fail/transmute_fat1.stderr
@@ -1,8 +1,8 @@
 error: Undefined Behavior: type validation failed: encountered a pointer, but expected plain (non-pointer) bytes
   --> $DIR/transmute_fat1.rs:LL:CC
    |
-LL |         std::mem::transmute::<&[u8], $ARRAY>(&[1u8])
-   |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ type validation failed: encountered a pointer, but expected plain (non-pointer) bytes
+LL |     let bad = unsafe { std::mem::transmute::<&[u8], $ARRAY>(&[1u8]) };
+   |                        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ type validation failed: encountered a pointer, but expected plain (non-pointer) bytes
    |
    = help: this indicates a bug in the program: it performed an invalid operation, and caused Undefined Behavior
    = help: see https://doc.rust-lang.org/nightly/reference/behavior-considered-undefined.html for further information
diff --git a/tests/fail/unaligned_pointers/alignment.stderr b/tests/fail/unaligned_pointers/alignment.stderr
@@ -1,8 +1,8 @@
 error: Undefined Behavior: accessing memory with alignment ALIGN, but alignment ALIGN is required
   --> $DIR/alignment.rs:LL:CC
    |
-LL |         *(x_ptr        as *mut u32) = 42;
-   |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ accessing memory with alignment ALIGN, but alignment ALIGN is required
+LL |         *(x_ptr as *mut u32) = 42;
+   |         ^^^^^^^^^^^^^^^^^^^^^^^^^ accessing memory with alignment ALIGN, but alignment ALIGN is required
    |
    = help: this indicates a bug in the program: it performed an invalid operation, and caused Undefined Behavior
    = help: see https://doc.rust-lang.org/nightly/reference/behavior-considered-undefined.html for further information
diff --git a/tests/fail/validity/ref_to_uninhabited1.stderr b/tests/fail/validity/ref_to_uninhabited1.stderr
@@ -1,8 +1,8 @@
 error: Undefined Behavior: type validation failed: encountered a box pointing to uninhabited type !
   --> $DIR/ref_to_uninhabited1.rs:LL:CC
    |
-LL |     let x: Box<!> = transmute(&mut 42);
-   |                     ^^^^^^^^^^^^^^^^^^ type validation failed: encountered a box pointing to uninhabited type !
+LL |         let x: Box<!> = transmute(&mut 42);
+   |                         ^^^^^^^^^^^^^^^^^^ type validation failed: encountered a box pointing to uninhabited type !
    |
    = help: this indicates a bug in the program: it performed an invalid operation, and caused Undefined Behavior
    = help: see https://doc.rust-lang.org/nightly/reference/behavior-considered-undefined.html for further information
diff --git a/tests/fail/validity/ref_to_uninhabited2.stderr b/tests/fail/validity/ref_to_uninhabited2.stderr
@@ -1,8 +1,8 @@
 error: Undefined Behavior: type validation failed: encountered a reference pointing to uninhabited type (i32, Void)
   --> $DIR/ref_to_uninhabited2.rs:LL:CC
    |
-LL |     let _x: &(i32, Void) = transmute(&42);
-   |                            ^^^^^^^^^^^^^^ type validation failed: encountered a reference pointing to uninhabited type (i32, Void)
+LL |         let _x: &(i32, Void) = transmute(&42);
+   |                                ^^^^^^^^^^^^^^ type validation failed: encountered a reference pointing to uninhabited type (i32, Void)
    |
    = help: this indicates a bug in the program: it performed an invalid operation, and caused Undefined Behavior
    = help: see https://doc.rust-lang.org/nightly/reference/behavior-considered-undefined.html for further information
diff --git a/tests/fail/validity/too-big-slice.stderr b/tests/fail/validity/too-big-slice.stderr
@@ -1,8 +1,8 @@
 error: Undefined Behavior: type validation failed: encountered invalid reference metadata: slice is bigger than largest supported object
   --> $DIR/too-big-slice.rs:LL:CC
    |
-LL |     let _x: &[u8] = mem::transmute((ptr, usize::MAX));
-   |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ type validation failed: encountered invalid reference metadata: slice is bigger than largest supported object
+LL |         let _x: &[u8] = mem::transmute((ptr, usize::MAX));
+   |                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ type validation failed: encountered invalid reference metadata: slice is bigger than largest supported object
    |
    = help: this indicates a bug in the program: it performed an invalid operation, and caused Undefined Behavior
    = help: see https://doc.rust-lang.org/nightly/reference/behavior-considered-undefined.html for further information
diff --git a/tests/fail/validity/too-big-unsized.stderr b/tests/fail/validity/too-big-unsized.stderr
@@ -1,8 +1,8 @@
 error: Undefined Behavior: type validation failed: encountered invalid reference metadata: total size is bigger than largest supported object
   --> $DIR/too-big-unsized.rs:LL:CC
    |
-LL |     let _x: &MySlice = mem::transmute((ptr, isize::MAX as usize));
-   |                        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ type validation failed: encountered invalid reference metadata: total size is bigger than largest supported object
+LL |         let _x: &MySlice = mem::transmute((ptr, isize::MAX as usize));
+   |                            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ type validation failed: encountered invalid reference metadata: total size is bigger than largest supported object
    |
    = help: this indicates a bug in the program: it performed an invalid operation, and caused Undefined Behavior
    = help: see https://doc.rust-lang.org/nightly/reference/behavior-considered-undefined.html for further information

Original file line number	Diff line number	Diff line change
`@@ -1,8 +1,8 @@`
`1`	`1`	`error: Undefined Behavior: pointer to ALLOC was dereferenced after this allocation got freed`
`2`	`2`	`--> $DIR/thread_local_static_dealloc.rs:LL:CC`
`3`	`3`	`\|`
`4`		`-LL \| let _val = (dangling_ptr as const u8);`
`5`		`- \| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ pointer to ALLOC was dereferenced after this allocation got freed`
	`4`	`+LL \| let _val = (dangling_ptr as const u8);`
	`5`	`+ \| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ pointer to ALLOC was dereferenced after this allocation got freed`
`6`	`6`	`\|`
`7`	`7`	`= help: this indicates a bug in the program: it performed an invalid operation, and caused Undefined Behavior`
`8`	`8`	`= help: see https://doc.rust-lang.org/nightly/reference/behavior-considered-undefined.html for further information`
Original file line number	Diff line number	Diff line change
`@@ -12,8 +12,8 @@ LL \| Box(unsafe { Unique::new_unchecked(raw) }, alloc)`
`12`	`12`	note: inside `main` at $DIR/issue-miri-1050-1.rs:LL:CC
`13`	`13`	`--> $DIR/issue-miri-1050-1.rs:LL:CC`
`14`	`14`	`\|`
`15`		`-LL \| Box::from_raw(ptr as *mut u32);`
`16`		`- \| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^`
	`15`	`+LL \| Box::from_raw(ptr as *mut u32);`
	`16`	`+ \| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^`
`17`	`17`
`18`	`18`	note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace
`19`	`19`
Original file line number	Diff line number	Diff line change
`@@ -1,7 +1,7 @@`
`1`	`1`	`error: Undefined Behavior: trying to reborrow <TAG> for Unique permission at ALLOC[0x4], but that tag does not exist in the borrow stack for this location`
`2`	`2`	`--> $DIR/return_invalid_mut_option.rs:LL:CC`
`3`	`3`	`\|`
`4`		`-LL \| Some(_x) => {},`
	`4`	`+LL \| Some(_x) => {}`
`5`	`5`	`\| ^^`
`6`	`6`	`\| \|`
`7`	`7`	`\| trying to reborrow <TAG> for Unique permission at ALLOC[0x4], but that tag does not exist in the borrow stack for this location`
Original file line number	Diff line number	Diff line change
`@@ -1,7 +1,7 @@`
`1`	`1`	`error: Undefined Behavior: trying to reborrow <TAG> for SharedReadOnly permission at ALLOC[0x4], but that tag does not exist in the borrow stack for this location`
`2`	`2`	`--> $DIR/return_invalid_shr_option.rs:LL:CC`
`3`	`3`	`\|`
`4`		`-LL \| Some(_x) => {},`
	`4`	`+LL \| Some(_x) => {}`
`5`	`5`	`\| ^^`
`6`	`6`	`\| \|`
`7`	`7`	`\| trying to reborrow <TAG> for SharedReadOnly permission at ALLOC[0x4], but that tag does not exist in the borrow stack for this location`