diff options
| author | Dylan MacKenzie <ecstaticmorse@gmail.com> | 2019-11-11 08:00:49 -0800 |
|---|---|---|
| committer | Dylan MacKenzie <ecstaticmorse@gmail.com> | 2019-11-13 10:44:14 -0800 |
| commit | 5e048da5a553cae9a6842856fb5eb61425e51f96 (patch) | |
| tree | 30b236abc9a9611936af105a5327a2be16838e6e /src | |
| parent | 86734b13bb99c83333ca820e01be3aeace18af75 (diff) | |
Bless miri unleashed test now that errors are mandatory
Diffstat (limited to 'src')
| -rw-r--r-- | src/test/ui/consts/miri_unleashed/enum_discriminants.rs | 10 | ||||
| -rw-r--r-- | src/test/ui/consts/miri_unleashed/enum_discriminants.stderr | 10 |
2 files changed, 13 insertions, 7 deletions
diff --git a/src/test/ui/consts/miri_unleashed/enum_discriminants.rs b/src/test/ui/consts/miri_unleashed/enum_discriminants.rs index 623fa2a1547..d7cdb0babc5 100644 --- a/src/test/ui/consts/miri_unleashed/enum_discriminants.rs +++ b/src/test/ui/consts/miri_unleashed/enum_discriminants.rs @@ -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!() } diff --git a/src/test/ui/consts/miri_unleashed/enum_discriminants.stderr b/src/test/ui/consts/miri_unleashed/enum_discriminants.stderr index 38eeb327135..b7fce223af8 100644 --- a/src/test/ui/consts/miri_unleashed/enum_discriminants.stderr +++ b/src/test/ui/consts/miri_unleashed/enum_discriminants.stderr @@ -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 | | } |