Skip to content

Commit 1a798a8

Browse files
committed
bless new tests
1 parent 1d39d00 commit 1a798a8

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

src/tools/miri/tests/fail/function_calls/arg_inplace_locals_alias.tree.stderr

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -5,6 +5,7 @@ LL | Call(_unit = callee(Move(non_copy), Move(non_copy)), ReturnTo(a
55
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Undefined Behavior occurred here
66
|
77
= help: this indicates a potential bug in the program: it performed an invalid operation, but the Tree Borrows rules it violated are still experimental
8+
= help: see https://github.com/rust-lang/unsafe-code-guidelines/blob/master/wip/tree-borrows.md for further information
89
= help: the accessed tag <TAG> (root of the allocation) is foreign to the protected tag <TAG> (i.e., it is not a child)
910
= help: this foreign read access would cause the protected tag <TAG> (currently Active) to become Disabled
1011
= help: protected tags must never be Disabled

0 commit comments

Comments
 (0)