Skip to content

Commit 22f2385

Browse files
committed
prevent potential promotion in const_discriminant
1 parent 6d03bbd commit 22f2385

File tree

1 file changed

+5
-3
lines changed

1 file changed

+5
-3
lines changed

src/test/ui/consts/const_discriminant.rs

+5-3
Original file line numberDiff line numberDiff line change
@@ -3,6 +3,8 @@
33

44
use std::mem::{discriminant, Discriminant};
55

6+
fn identity<T>(x: T) -> T { x }
7+
68
enum Test {
79
A(u8),
810
B,
@@ -15,8 +17,8 @@ const TEST_B: Discriminant<Test> = discriminant(&Test::B);
1517

1618
fn main() {
1719
assert_eq!(TEST_A, TEST_A_OTHER);
18-
assert_eq!(TEST_A, discriminant(&Test::A(17)));
19-
assert_eq!(TEST_B, discriminant(&Test::B));
20+
assert_eq!(TEST_A, discriminant(identity(&Test::A(17))));
21+
assert_eq!(TEST_B, discriminant(identity(&Test::B)));
2022
assert_ne!(TEST_A, TEST_B);
21-
assert_ne!(TEST_B, discriminant(&Test::C { a: 42, b: 7 }));
23+
assert_ne!(TEST_B, discriminant(identity(&Test::C { a: 42, b: 7 })));
2224
}

0 commit comments

Comments
 (0)