src/test/ui/issues/issue-55380.rs

   1 // run-pass
   2 #![feature(specialization)]
   3 //~^ WARN the feature `specialization` is incomplete
   4
   5 pub trait Foo {
   6     fn abc() -> u32;
   7     fn def() -> u32;
   8 }
   9
  10 pub trait Marker {}
  11
  12 impl Marker for () {}
  13
  14 impl<T> Foo for T {
  15     default fn abc() -> u32 { 16 }
  16     default fn def() -> u32 { 42 }
  17 }
  18
  19 impl<T: Marker> Foo for T {
  20     fn def() -> u32 {
  21         Self::abc()
  22     }
  23 }
  24
  25 fn main() {
  26    assert_eq!(<()>::def(), 16);
  27    assert_eq!(<i32>::def(), 42);
  28 }