nordic-dev.net/rust
nordic-dev.net/rust
2
0
Fork 0
mirror of https://github.com/rust-lang/rust.git synced 2024-11-24 07:44:10 +00:00
Code Issues Packages Projects Releases Wiki Activity

Bless miri unleashed test now that errors are mandatory

Browse Source
This commit is contained in:
Dylan MacKenzie 2019-11-11 08:00:49 -08:00
parent 86734b13bb
commit 5e048da5a5
2 changed files with 13 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
src/test/ui/consts/miri_unleashed/enum_discriminants.rs
View File

@ -20,9 +20,9 @@ const OVERFLOW: usize = {
C(WithWraparoundInvalidValues),
}
let x = Foo::B; //~ WARNING skipping const checks
match x {
Foo::B => 0, //~ WARNING skipping const checks
let x = Foo::B;
match x { //~ WARNING skipping const checks
Foo::B => 0,
_ => panic!(),
}
};
@ -87,18 +87,20 @@ const MORE_OVERFLOW: usize = {
if let E1::V2 { .. } = (E1::V1 { f: true }) {
//~^ WARNING skipping const checks
//~| WARNING skipping const checks
unreachable!()
}
if let E1::V1 { .. } = (E1::V1 { f: true }) {
//~^ WARNING skipping const checks
} else {
unreachable!()
}
if let E2::V1 { .. } = E2::V3::<Infallible> {
//~^ WARNING skipping const checks
unreachable!()
}
if let E2::V3 { .. } = E2::V3::<Infallible> {
//~^ WARNING skipping const checks
} else {
unreachable!()
}

10
src/test/ui/consts/miri_unleashed/enum_discriminants.stderr
View File

@ -11,31 +11,35 @@ warning: skipping const checks
--> $DIR/enum_discriminants.rs:88:5
|
LL | / if let E1::V2 { .. } = (E1::V1 { f: true }) {
LL | |
LL | | unreachable!()
LL | | }
| |_____^
warning: skipping const checks
--> $DIR/enum_discriminants.rs:91:5
--> $DIR/enum_discriminants.rs:92:5
|
LL | / if let E1::V1 { .. } = (E1::V1 { f: true }) {
LL | |
LL | | } else {
LL | | unreachable!()
LL | | }
| |_____^
warning: skipping const checks
--> $DIR/enum_discriminants.rs:96:5
--> $DIR/enum_discriminants.rs:98:5
|
LL | / if let E2::V1 { .. } = E2::V3::<Infallible> {
LL | |
LL | | unreachable!()
LL | | }
| |_____^
warning: skipping const checks
--> $DIR/enum_discriminants.rs:99:5
--> $DIR/enum_discriminants.rs:102:5
|
LL | / if let E2::V3 { .. } = E2::V3::<Infallible> {
LL | |
LL | | } else {
LL | | unreachable!()
LL | | }