()
| 870 | |
| 871 | #[test] |
| 872 | fn is_never_zero_checks() { |
| 873 | let z = AU::zero(); |
| 874 | let s1 = AU::succ(z.clone()); |
| 875 | let p = AU::param(0, ()); |
| 876 | assert!(!z.is_never_zero()); |
| 877 | assert!(s1.is_never_zero()); |
| 878 | assert!(!p.is_never_zero()); |
| 879 | // max(succ(0), p) is never zero |