src/test/ui/never_type/auto-traits.rs

   1 // check-pass
   2
   3 #![feature(optin_builtin_traits)]
   4 #![feature(negative_impls)]
   5 #![feature(never_type)]
   6
   7 fn main() {
   8     enum Void {}
   9
  10     auto trait Auto {}
  11     fn assert_auto<T: Auto>() {}
  12     assert_auto::<Void>();
  13     assert_auto::<!>();
  14
  15     fn assert_send<T: Send>() {}
  16     assert_send::<Void>();
  17     assert_send::<!>();
  18 }