src/test/ui/traits/trait-inheritance-num5.rs

   1 // run-pass
   2 // pretty-expanded FIXME #23616
   3
   4 pub trait NumCast: Sized {
   5     fn from(i: i32) -> Option<Self>;
   6 }
   7
   8 pub trait NumExt: PartialEq + NumCast {}
   9
  10 impl NumExt for f32 {}
  11 impl NumExt for isize {}
  12
  13 impl NumCast for f32 {
  14     fn from(i: i32) -> Option<f32> { Some(i as f32) }
  15 }
  16 impl NumCast for isize {
  17     fn from(i: i32) -> Option<isize> { Some(i as isize) }
  18 }
  19
  20 fn num_eq_one<T:NumExt>() -> T {
  21     NumCast::from(1).unwrap()
  22 }
  23
  24 pub fn main() {
  25     num_eq_one::<isize>(); // you need to actually use the function to trigger the ICE
  26 }