src/test/ui/auto-traits/issue-23080-2.rs

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