Skip to content

Commit

Permalink
Fix miri tests
Browse files Browse the repository at this point in the history
  • Loading branch information
estebank committed Dec 13, 2024
1 parent 49a22a4 commit 50975b3
Show file tree
Hide file tree
Showing 11 changed files with 1 addition and 12 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -24,8 +24,7 @@ LL | / thread::spawn(|| {
LL | | unsafe {
LL | | let native = GetCurrentThread();
LL | | assert_eq!(WaitForSingleObject(native, INFINITE), WAIT_OBJECT_0);
LL | | }
LL | | })
... |
LL | | .join()
| |___________^

Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,6 @@ LL | | let _unit: ();
LL | | {
LL | | let non_copy = S(42);
... |
LL | | }
LL | | }
| |_____^
help: <TAG> is this argument
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,6 @@ LL | | let _unit: ();
LL | | {
LL | | let non_copy = S(42);
... |
LL | | }
LL | | }
| |_____^
help: the protected tag <TAG> was created here, in the initial state Reserved
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,6 @@ LL | | let _unit: ();
LL | | {
LL | | let non_copy = S(42);
... |
LL | |
LL | | }
| |_____^
help: <TAG> is this argument
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,6 @@ LL | | let _unit: ();
LL | | {
LL | | let non_copy = S(42);
... |
LL | |
LL | | }
| |_____^
help: the protected tag <TAG> was created here, in the initial state Reserved
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,6 @@ LL | | {
LL | | let x = 0;
LL | | let ptr = &raw mut x;
... |
LL | | }
LL | | }
| |_____^
help: <TAG> is this argument
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,6 @@ LL | | {
LL | | let x = 0;
LL | | let ptr = &raw mut x;
... |
LL | | }
LL | | }
| |_____^
help: the protected tag <TAG> was created here, in the initial state Reserved
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,6 @@ LL | | {
LL | | let _x = 0;
LL | | let ptr = &raw mut _x;
... |
LL | | }
LL | | }
| |_____^
help: <TAG> is this argument
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,6 @@ LL | | {
LL | | let _x = 0;
LL | | let ptr = &raw mut _x;
... |
LL | | }
LL | | }
| |_____^
help: the protected tag <TAG> was created here, in the initial state Reserved
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,6 @@ LL | | {
LL | | let _x = 0;
LL | | let ptr = &raw mut _x;
... |
LL | | }
LL | | }
| |_____^
help: <TAG> is this argument
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,6 @@ LL | | {
LL | | let _x = 0;
LL | | let ptr = &raw mut _x;
... |
LL | | }
LL | | }
| |_____^
help: the protected tag <TAG> was created here, in the initial state Reserved
Expand Down

0 comments on commit 50975b3

Please sign in to comment.