diff options
| -rw-r--r-- | src/test/ui/consts/const_discriminant.rs | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/src/test/ui/consts/const_discriminant.rs b/src/test/ui/consts/const_discriminant.rs index 564434bb6fa..9aac3c4532f 100644 --- a/src/test/ui/consts/const_discriminant.rs +++ b/src/test/ui/consts/const_discriminant.rs @@ -15,10 +15,21 @@ const TEST_A: Discriminant<Test> = discriminant(&Test::A(5)); const TEST_A_OTHER: Discriminant<Test> = discriminant(&Test::A(17)); const TEST_B: Discriminant<Test> = discriminant(&Test::B); +enum Void {} + +enum SingleVariant { + V, + Never(Void), +} + +const TEST_V: Discriminant<SingleVariant> = discriminant(&SingleVariant::V); + fn main() { assert_eq!(TEST_A, TEST_A_OTHER); assert_eq!(TEST_A, discriminant(identity(&Test::A(17)))); assert_eq!(TEST_B, discriminant(identity(&Test::B))); assert_ne!(TEST_A, TEST_B); assert_ne!(TEST_B, discriminant(identity(&Test::C { a: 42, b: 7 }))); + + assert_eq!(TEST_V, discriminant(identity(&SingleVariant::V))); } |