tests/ui/auto-traits/issue-23080-2.rs

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