()
| 733 | |
| 734 | #[test] |
| 735 | fn infer_nat_lit() { |
| 736 | let mut env = test_env(); |
| 737 | let mut tc = TypeChecker::new(&mut env); |
| 738 | let n = AE::nat(Nat::from(42u64), mk_addr("42")); |
| 739 | let ty = tc.infer(&n).unwrap(); |
| 740 | // Nat literal type = Nat constant |
| 741 | assert!( |
| 742 | matches!(ty.data(), ExprData::Const(id, _, _) if id.addr == tc.prims.nat.addr) |
| 743 | ); |
| 744 | } |
| 745 | |
| 746 | #[test] |
| 747 | fn infer_cache() { |