Skip to content

Commit 12704df

Browse files
committed
Fix miri tests
1 parent 49a22a4 commit 12704df

10 files changed

+0
-10
lines changed

src/tools/miri/tests/fail/function_calls/arg_inplace_mutate.stack.stderr

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -14,7 +14,6 @@ LL | | let _unit: ();
1414
LL | | {
1515
LL | | let non_copy = S(42);
1616
... |
17-
LL | | }
1817
LL | | }
1918
| |_____^
2019
help: <TAG> is this argument

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

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -16,7 +16,6 @@ LL | | let _unit: ();
1616
LL | | {
1717
LL | | let non_copy = S(42);
1818
... |
19-
LL | | }
2019
LL | | }
2120
| |_____^
2221
help: the protected tag <TAG> was created here, in the initial state Reserved

src/tools/miri/tests/fail/function_calls/arg_inplace_observe_during.stack.stderr

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -14,7 +14,6 @@ LL | | let _unit: ();
1414
LL | | {
1515
LL | | let non_copy = S(42);
1616
... |
17-
LL | |
1817
LL | | }
1918
| |_____^
2019
help: <TAG> is this argument

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

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -16,7 +16,6 @@ LL | | let _unit: ();
1616
LL | | {
1717
LL | | let non_copy = S(42);
1818
... |
19-
LL | |
2019
LL | | }
2120
| |_____^
2221
help: the protected tag <TAG> was created here, in the initial state Reserved

src/tools/miri/tests/fail/function_calls/return_pointer_aliasing_read.stack.stderr

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -14,7 +14,6 @@ LL | | {
1414
LL | | let x = 0;
1515
LL | | let ptr = &raw mut x;
1616
... |
17-
LL | | }
1817
LL | | }
1918
| |_____^
2019
help: <TAG> is this argument

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

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -16,7 +16,6 @@ LL | | {
1616
LL | | let x = 0;
1717
LL | | let ptr = &raw mut x;
1818
... |
19-
LL | | }
2019
LL | | }
2120
| |_____^
2221
help: the protected tag <TAG> was created here, in the initial state Reserved

src/tools/miri/tests/fail/function_calls/return_pointer_aliasing_write.stack.stderr

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -14,7 +14,6 @@ LL | | {
1414
LL | | let _x = 0;
1515
LL | | let ptr = &raw mut _x;
1616
... |
17-
LL | | }
1817
LL | | }
1918
| |_____^
2019
help: <TAG> is this argument

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

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -16,7 +16,6 @@ LL | | {
1616
LL | | let _x = 0;
1717
LL | | let ptr = &raw mut _x;
1818
... |
19-
LL | | }
2019
LL | | }
2120
| |_____^
2221
help: the protected tag <TAG> was created here, in the initial state Reserved

src/tools/miri/tests/fail/function_calls/return_pointer_aliasing_write_tail_call.stack.stderr

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -14,7 +14,6 @@ LL | | {
1414
LL | | let _x = 0;
1515
LL | | let ptr = &raw mut _x;
1616
... |
17-
LL | | }
1817
LL | | }
1918
| |_____^
2019
help: <TAG> is this argument

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

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -16,7 +16,6 @@ LL | | {
1616
LL | | let _x = 0;
1717
LL | | let ptr = &raw mut _x;
1818
... |
19-
LL | | }
2019
LL | | }
2120
| |_____^
2221
help: the protected tag <TAG> was created here, in the initial state Reserved

0 commit comments

Comments
 (0)