C-like enums discriminants values can be given different types

[huonw]

The following compiles fine, even though the discriminants are different types (I know that the annotations currently do nothing).

enum Foo { A = 1i64, B = 2u8 }

fn main() {}

[eminence]

Using the latest master (e2273d9), your example produces an error message that looks correct to me:

est.rs:1:16: 1:20 error: mismatched types: expected `int` but found `i64` (expected int but found i64)
test.rs:1 enum Foo { A = 1i64, B = 2u8 }
                         ^~~~
test.rs:1:26: 1:29 error: mismatched types: expected `int` but found `u8` (expected int but found u8)
test.rs:1 enum Foo { A = 1i64, B = 2u8 }
                                   ^~~

[alexcrichton]

Flagging as needstest