]> git.proxmox.com Git - rustc.git/blame - src/test/compile-fail/enum-discrim-too-small.rs
New upstream version 1.12.0+dfsg1
[rustc.git] / src / test / compile-fail / enum-discrim-too-small.rs
CommitLineData
1a4d82fc
JJ
1// Copyright 2013 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
c34b1796 11
54a0048b 12#[repr(u8)]
1a4d82fc
JJ
13enum Eu8 {
14 Au8 = 23,
15 Bu8 = 223,
5bcae85e
SL
16 Cu8 = -23, //~ ERROR E0080
17 //~| unary negation of unsigned integer
1a4d82fc
JJ
18}
19
54a0048b 20#[repr(u16)]
1a4d82fc
JJ
21enum Eu16 {
22 Au16 = 23,
23 Bu16 = 55555,
5bcae85e
SL
24 Cu16 = -22333, //~ ERROR E0080
25 //~| unary negation of unsigned integer
1a4d82fc
JJ
26}
27
54a0048b 28#[repr(u32)]
1a4d82fc
JJ
29enum Eu32 {
30 Au32 = 23,
31 Bu32 = 3_000_000_000,
5bcae85e
SL
32 Cu32 = -2_000_000_000, //~ ERROR E0080
33 //~| unary negation of unsigned integer
1a4d82fc
JJ
34}
35
54a0048b
SL
36#[repr(u64)]
37enum Eu64 {
38 Au32 = 23,
39 Bu32 = 3_000_000_000,
5bcae85e
SL
40 Cu32 = -2_000_000_000, //~ ERROR E0080
41 //~| unary negation of unsigned integer
1a4d82fc
JJ
42}
43
44// u64 currently allows negative numbers, and i64 allows numbers greater than `1<<63`. This is a
45// little counterintuitive, but since the discriminant can store all the bits, and extracting it
46// with a cast requires specifying the signedness, there is no loss of information in those cases.
47// This also applies to isize and usize on 64-bit targets.
48
49pub fn main() { }