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

   1 #![feature(auto_traits)]
   2 #![feature(negative_impls)]
   3
   4 unsafe auto trait Trait {
   5     fn method(&self) { //~ ERROR E0380
   6         println!("Hello");
   7     }
   8 }
   9
  10 fn call_method<T: Trait>(x: T) {
  11     x.method();
  12 }
  13
  14 fn main() {
  15     // ICE
  16     call_method(());
  17 }