Skip to content

Commit 9d0748f

Browse files
committed
cfail test for #31886
1 parent ee4b607 commit 9d0748f

File tree

2 files changed

+20
-10
lines changed

2 files changed

+20
-10
lines changed
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,20 @@
1+
// Copyright 2016 The Rust Project Developers. See the COPYRIGHT
2+
// file at the top-level directory of this distribution and at
3+
// http://rust-lang.org/COPYRIGHT.
4+
//
5+
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
6+
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
7+
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
8+
// option. This file may not be copied, modified, or distributed
9+
// except according to those terms.
10+
11+
// With no repr attribute the discriminant will default to isize.
12+
// On 32-bit architectures this is equivalent to i32 so the variants
13+
// collide. On other architectures we need compilation to fail anyway,
14+
// so force the repr.
15+
#[cfg_attr(not(target_pointer_width = "32"), repr(i32))]
16+
enum Eu64 {
17+
Au64 = 0,
18+
Bu64 = 0x8000_0000_0000_0000 //~ERROR already exists
19+
}
20+

src/test/run-pass/enum-discrim-autosizing.rs

-10
Original file line numberDiff line numberDiff line change
@@ -47,12 +47,6 @@ enum Ei64 {
4747
Bi64 = 0x8000_0000
4848
}
4949

50-
#[derive(PartialEq)]
51-
enum Eu64 {
52-
Au64 = 0,
53-
Bu64 = 0x8000_0000_0000_0000
54-
}
55-
5650
pub fn main() {
5751
assert_eq!(size_of::<Ei8>(), 1);
5852
assert_eq!(size_of::<Eu8>(), 1);
@@ -64,8 +58,4 @@ pub fn main() {
6458
assert_eq!(size_of::<Ei64>(), 8);
6559
#[cfg(target_pointer_width = "32")]
6660
assert_eq!(size_of::<Ei64>(), 4);
67-
assert_eq!(size_of::<Eu64>(), 8);
68-
69-
// ensure no i32 collisions
70-
assert!(Eu64::Au64 != Eu64::Bu64);
7161
}

0 commit comments

Comments
 (0)