src/test/ui/error-codes/E0520.rs

   1 #![feature(specialization)]
   2 //~^ WARN the feature `specialization` is incomplete
   3
   4 trait SpaceLlama {
   5     fn fly(&self);
   6 }
   7
   8 impl<T> SpaceLlama for T {
   9     default fn fly(&self) {}
  10 }
  11
  12 impl<T: Clone> SpaceLlama for T {
  13     fn fly(&self) {}
  14 }
  15
  16 impl SpaceLlama for i32 {
  17     default fn fly(&self) {}
  18     //~^ ERROR E0520
  19 }
  20
  21 fn main() {
  22 }