New UI test: zero_discriminant_deferred

Author: meithecatte

test_suite/ui/zero_discriminant_deferred.rs

@@ -0,0 +1,17 @@
+const ZERO: u8 = 0;
+
+#[enumflags2::bitflags]
+#[derive(Copy, Clone)]
+#[repr(u8)]
+enum Foo {
+    Zero = ZERO,
+}
+
+#[enumflags2::bitflags]
+#[derive(Copy, Clone)]
+#[repr(u8)]
+enum Bar {
+    Overflown = (ZERO + 2) << 7,
+}
+
+fn main() {}

test_suite/ui/zero_discriminant_deferred.stderr

@@ -0,0 +1,11 @@
+error[E0277]: the trait bound `AssertionFailed: ExactlyOneBitSet` is not satisfied
+ --> $DIR/zero_discriminant_deferred.rs:7:5
+  |
+7 |     Zero = ZERO,
+  |     ^^^^^^^^^^^ the trait `ExactlyOneBitSet` is not implemented for `AssertionFailed`
+
+error[E0277]: the trait bound `AssertionFailed: ExactlyOneBitSet` is not satisfied
+  --> $DIR/zero_discriminant_deferred.rs:14:5
+   |
+14 |     Overflown = (ZERO + 2) << 7,
+   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `ExactlyOneBitSet` is not implemented for `AssertionFailed`