pub fn f1<T>(x: T::A) {}
//~^ ERROR
//~^^ ERROR