(current: u32, limit: u32)
| 9 | } |
| 10 | |
| 11 | fn check_up_to(current: u32, limit: u32) { |
| 12 | if current > limit { |
| 13 | return; |
| 14 | } else { |
| 15 | let result = collatz(current); |
| 16 | assert!(result == 1); |
| 17 | check_up_to(current + 1, limit); |
| 18 | } |
| 19 | } |
| 20 | |
| 21 | const U32_TYPE_ID: core::any::TypeId = core::any::TypeId::of::<u32>(); |
| 22 | const U64_TYPE_ID: core::any::TypeId = core::any::TypeId::of::<u64>(); |