src/test/ui/specialization/min_specialization/specialization_trait.rs

   1 // Test that `rustc_specialization_trait` requires always applicable impls.
   2
   3 #![feature(min_specialization)]
   4 #![feature(rustc_attrs)]
   5
   6 #[rustc_specialization_trait]
   7 trait SpecMarker {
   8     fn f();
   9 }
  10
  11 impl SpecMarker for &'static u8 {
  12     //~^ ERROR cannot specialize
  13     fn f() {}
  14 }
  15
  16 impl<T> SpecMarker for (T, T) {
  17     //~^ ERROR specializing impl
  18     fn f() {}
  19 }
  20
  21 impl<T: Clone> SpecMarker for [T] {
  22     //~^ ERROR cannot specialize
  23     fn f() {}
  24 }
  25
  26 fn main() {}