Skip to content

Commit 947ba20

Browse files
committed
Add a test to show how NumCast can be used in type parameters
1 parent 353ce87 commit 947ba20

File tree

1 file changed

+24
-1
lines changed

1 file changed

+24
-1
lines changed

src/libcore/num/num.rs

Lines changed: 24 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -240,4 +240,27 @@ macro_rules! test_cast_20(
240240
#[test] fn test_int_cast() { test_cast_20!(20i) }
241241
#[test] fn test_f32_cast() { test_cast_20!(20f32) }
242242
#[test] fn test_f64_cast() { test_cast_20!(20f64) }
243-
#[test] fn test_float_cast() { test_cast_20!(20f) }
243+
#[test] fn test_float_cast() { test_cast_20!(20f) }
244+
245+
#[test]
246+
fn test_generic_cast() {
247+
use ops::Add;
248+
249+
fn add_2<T: Add<T,T> + NumCast>(n: T) -> T {
250+
n + cast(2)
251+
}
252+
253+
assert!(add_2(1u) == 3u);
254+
assert!(add_2(1u8) == 3u8);
255+
assert!(add_2(1u16) == 3u16);
256+
assert!(add_2(1u32) == 3u32);
257+
assert!(add_2(1u64) == 3u64);
258+
assert!(add_2(1i) == 3i);
259+
assert!(add_2(1i8) == 3i8);
260+
assert!(add_2(1i16) == 3i16);
261+
assert!(add_2(1i32) == 3i32);
262+
assert!(add_2(1i64) == 3i64);
263+
assert!(add_2(1f) == 3f);
264+
assert!(add_2(1f32) == 3f32);
265+
assert!(add_2(1f64) == 3f64);
266+
}

0 commit comments

Comments
 (0)