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

   1 // Test that specializing on a `rustc_specialization_trait` trait is allowed.
   2
   3 // check-pass
   4
   5 #![feature(min_specialization)]
   6 #![feature(rustc_attrs)]
   7
   8 #[rustc_specialization_trait]
   9 trait SpecTrait {
  10     fn g(&self);
  11 }
  12
  13 trait X {
  14     fn f(&self);
  15 }
  16
  17 impl<T> X for T {
  18     default fn f(&self) {}
  19 }
  20
  21 impl<T: SpecTrait> X for T {
  22     fn f(&self) {
  23         self.g();
  24     }
  25 }
  26
  27 fn main() {}