trait Trait {}
struct Foo<T:Trait> {
x: T,
}
enum Bar<T:Trait> {
ABar(isize),
BBar(T),
CBar(usize),
fn explode(x: Foo<u32>) {}
//~^ ERROR E0277
fn kaboom(y: Bar<f32>) {}
fn main() {