blob: 697bbf6fe6d120e94fe7b8788e1688b955ba2ac6 [file]
enum Enum<T: Trait> {
//~^ ERROR: `T` is never used
//~| NOTE: unused type parameter
X = Trait::Number,
//~^ ERROR: mismatched types
//~| NOTE: expected `isize`, found `i32`
//~| NOTE: enum variant discriminant
}
trait Trait {
const Number: i32 = 1;
}
fn main() {}