Skip to content

Commit 0bc7f13

Browse files
traviscrossmeithecatte
authored andcommitted
Bless miri tests
1 parent 21da351 commit 0bc7f13

File tree

3 files changed

+3
-3
lines changed

3 files changed

+3
-3
lines changed

src/tools/miri/tests/fail/closures/deref-in-pattern.stderr

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ LL | | match x {
77
LL | | &&_y => {},
88
LL | | }
99
LL | | };
10-
| |_____^ constructing invalid value: encountered a dangling reference (use-after-free)
10+
| |_____^ Undefined Behavior occurred here
1111
|
1212
= help: this indicates a bug in the program: it performed an invalid operation, and caused Undefined Behavior
1313
= help: see https://doc.rust-lang.org/nightly/reference/behavior-considered-undefined.html for further information

src/tools/miri/tests/fail/closures/partial-pattern.stderr

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ LL | | match x {
77
LL | | (&_y, _) => {},
88
LL | | }
99
LL | | };
10-
| |_____^ constructing invalid value: encountered a dangling reference (use-after-free)
10+
| |_____^ Undefined Behavior occurred here
1111
|
1212
= help: this indicates a bug in the program: it performed an invalid operation, and caused Undefined Behavior
1313
= help: see https://doc.rust-lang.org/nightly/reference/behavior-considered-undefined.html for further information

src/tools/miri/tests/fail/closures/uninhabited-variant.stderr

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@ error: Undefined Behavior: read discriminant of an uninhabited enum variant
22
--> tests/fail/closures/uninhabited-variant.rs:LL:CC
33
|
44
LL | match r {
5-
| ^ read discriminant of an uninhabited enum variant
5+
| ^ Undefined Behavior occurred here
66
|
77
= help: this indicates a bug in the program: it performed an invalid operation, and caused Undefined Behavior
88
= help: see https://doc.rust-lang.org/nightly/reference/behavior-considered-undefined.html for further information

0 commit comments

Comments
 (0)