()
| 755 | |
| 756 | #[test] |
| 757 | fn infer_closed_cache_ignores_context() { |
| 758 | let mut env = test_env(); |
| 759 | let mut tc = TypeChecker::new(&mut env); |
| 760 | let e = sort0(); |
| 761 | let t1 = tc.infer(&e).unwrap(); |
| 762 | let cache_len = tc.env.infer_cache.len(); |
| 763 | |
| 764 | tc.push_local(sort1()); |
| 765 | let t2 = tc.infer(&e).unwrap(); |
| 766 | assert_eq!(t1, t2); |
| 767 | assert_eq!(tc.env.infer_cache.len(), cache_len); |
| 768 | } |
| 769 | |
| 770 | #[test] |
| 771 | fn infer_open_cache_is_context_sensitive() { |