()
| 745 | |
| 746 | #[test] |
| 747 | fn infer_cache() { |
| 748 | let mut env = test_env(); |
| 749 | let mut tc = TypeChecker::new(&mut env); |
| 750 | let e = sort0(); |
| 751 | let t1 = tc.infer(&e).unwrap(); |
| 752 | let t2 = tc.infer(&e).unwrap(); |
| 753 | assert_eq!(t1, t2); |
| 754 | } |
| 755 | |
| 756 | #[test] |
| 757 | fn infer_closed_cache_ignores_context() { |