()
| 679 | |
| 680 | #[test] |
| 681 | fn infer_var() { |
| 682 | let mut env = test_env(); |
| 683 | let mut tc = TypeChecker::new(&mut env); |
| 684 | tc.push_local(sort0()); |
| 685 | let ty = tc.infer(&AE::var(0, ())).unwrap(); |
| 686 | // Var(0) has type Sort 0 (the type we pushed) |
| 687 | assert_eq!(ty, sort0()); |
| 688 | tc.pop_local(); |
| 689 | } |
| 690 | |
| 691 | #[test] |
| 692 | fn infer_const() { |