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:: { + //~^ WARNING skipping const checks unreachable!() } if let E2::V3 { .. } = E2::V3:: { + //~^ 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:: { +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:: { +LL | | LL | | } else { LL | | unreachable!() LL | | }