1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
// revisions: current next //[next] compile-flags: -Znext-solver #![feature(auto_traits)] #![feature(negative_impls)] unsafe auto trait Trait { type Output; //~ ERROR E0380 } fn call_method<T: Trait>(x: T) {} fn main() { // ICE call_method(()); }