tests/ui/traits/inheritance/static2.rs

   1 // run-pass
   2 pub trait MyEq {}
   3
   4 pub trait MyNum {
   5     fn from_int(_: isize) -> Self;
   6 }
   7
   8 pub trait NumExt: MyEq + MyNum { }
   9
  10 struct S { v: isize }
  11
  12 impl MyEq for S { }
  13
  14 impl MyNum for S {
  15     fn from_int(i: isize) -> S {
  16         S {
  17             v: i
  18         }
  19     }
  20 }
  21
  22 impl NumExt for S { }
  23
  24 fn greater_than_one<T:NumExt>() -> T { MyNum::from_int(1) }
  25
  26 pub fn main() {
  27     let v: S = greater_than_one();
  28     assert_eq!(v.v, 1);
  29 }