src/test/ui/issues/issue-23080-2.rs

   1 //~ ERROR
   2
   3 #![feature(optin_builtin_traits)]
   4
   5 unsafe auto trait Trait {
   6 //~^ ERROR E0380
   7     type Output;
   8 }
   9
  10 fn call_method<T: Trait>(x: T) {}
  11
  12 fn main() {
  13     // ICE
  14     call_method(());
  15 }