3 //~^ NOTE first use of `3`
5 //~^ ERROR discriminant value `3` already exists
6 //~| NOTE enum already has `3`
11 enum EnumOverflowRepr {
13 //~^ NOTE first use of `1` (overflowed from `257`)
15 //~^ ERROR discriminant value `1` already exists
16 //~| NOTE enum already has `1` (overflowed from `513`)