projects / rustc.git / blame
| Commit | Line | Data |
|---|---|---|
| b7449926 | 1 | // run-pass |
| 223e47cc LB |
2 | // A more complex example of numeric extensions |
| 3 | ||
| 9346a6ac | 4 | pub trait TypeExt {} |
| 223e47cc LB |
5 | |
| 6 | impl TypeExt for u8 {} | |
| 7 | impl TypeExt for u16 {} | |
| 8 | impl TypeExt for u32 {} | |
| 9 | impl TypeExt for u64 {} | |
| c34b1796 | 10 | impl TypeExt for usize {} |
| 223e47cc LB |
11 | |
| 12 | impl TypeExt for i8 {} | |
| 13 | impl TypeExt for i16 {} | |
| 14 | impl TypeExt for i32 {} | |
| 15 | impl TypeExt for i64 {} | |
| c34b1796 | 16 | impl TypeExt for isize {} |
| 223e47cc LB |
17 | |
| 18 | impl TypeExt for f32 {} | |
| 19 | impl TypeExt for f64 {} | |
| 223e47cc LB |
20 | |
| 21 | ||
| 9346a6ac | 22 | pub trait NumExt: TypeExt + PartialEq + PartialOrd {} |
| 223e47cc LB |
23 | |
| 24 | impl NumExt for u8 {} | |
| 25 | impl NumExt for u16 {} | |
| 26 | impl NumExt for u32 {} | |
| 27 | impl NumExt for u64 {} | |
| c34b1796 | 28 | impl NumExt for usize {} |
| 223e47cc LB |
29 | |
| 30 | impl NumExt for i8 {} | |
| 31 | impl NumExt for i16 {} | |
| 32 | impl NumExt for i32 {} | |
| 33 | impl NumExt for i64 {} | |
| c34b1796 | 34 | impl NumExt for isize {} |
| 223e47cc LB |
35 | |
| 36 | impl NumExt for f32 {} | |
| 37 | impl NumExt for f64 {} | |
| 223e47cc LB |
38 | |
| 39 | ||
| 40 | pub trait UnSignedExt: NumExt {} | |
| 41 | ||
| 42 | impl UnSignedExt for u8 {} | |
| 43 | impl UnSignedExt for u16 {} | |
| 44 | impl UnSignedExt for u32 {} | |
| 45 | impl UnSignedExt for u64 {} | |
| c34b1796 | 46 | impl UnSignedExt for usize {} |
| 223e47cc LB |
47 | |
| 48 | ||
| 49 | pub trait SignedExt: NumExt {} | |
| 50 | ||
| 51 | impl SignedExt for i8 {} | |
| 52 | impl SignedExt for i16 {} | |
| 53 | impl SignedExt for i32 {} | |
| 54 | impl SignedExt for i64 {} | |
| c34b1796 | 55 | impl SignedExt for isize {} |
| 223e47cc LB |
56 | |
| 57 | impl SignedExt for f32 {} | |
| 58 | impl SignedExt for f64 {} | |
| 223e47cc LB |
59 | |
| 60 | ||
| 61 | pub trait IntegerExt: NumExt {} | |
| 62 | ||
| 63 | impl IntegerExt for u8 {} | |
| 64 | impl IntegerExt for u16 {} | |
| 65 | impl IntegerExt for u32 {} | |
| 66 | impl IntegerExt for u64 {} | |
| c34b1796 | 67 | impl IntegerExt for usize {} |
| 223e47cc LB |
68 | |
| 69 | impl IntegerExt for i8 {} | |
| 70 | impl IntegerExt for i16 {} | |
| 71 | impl IntegerExt for i32 {} | |
| 72 | impl IntegerExt for i64 {} | |
| c34b1796 | 73 | impl IntegerExt for isize {} |
| 223e47cc LB |
74 | |
| 75 | ||
| 1a4d82fc | 76 | pub trait FloatExt: NumExt {} |
| 223e47cc LB |
77 | |
| 78 | impl FloatExt for f32 {} | |
| 79 | impl FloatExt for f64 {} | |
| 223e47cc LB |
80 | |
| 81 | ||
| 1a4d82fc | 82 | fn test_float_ext<T:FloatExt>(n: T) { println!("{}", n < n) } |
| 223e47cc LB |
83 | |
| 84 | pub fn main() { | |
| 85 | test_float_ext(1f32); | |
| 86 | } |