()
| 1209 | let mut tc = new_tc(); |
| 1210 | assert_eq!(tc.depth(), 0); |
| 1211 | tc.push_local(sort0()); |
| 1212 | assert_eq!(tc.depth(), 1); |
| 1213 | tc.push_local(sort1()); |
| 1214 | assert_eq!(tc.depth(), 2); |
| 1215 | tc.pop_local(); |
| 1216 | assert_eq!(tc.depth(), 1); |
| 1217 | tc.pop_local(); |
| 1218 | assert_eq!(tc.depth(), 0); |
| 1219 | } |
| 1220 | |
| 1221 | #[test] |
| 1222 | fn fvar_ids_are_env_scoped_across_type_checkers() { |
| 1223 | let mut env = KEnv::<Meta>::new(); |
| 1224 | let first = { |
| 1225 | let mut tc = TypeChecker::new(&mut env); |