()
| 1308 | fn ctx_id_restores_on_pop() { |
| 1309 | let mut tc = new_tc(); |
| 1310 | let initial = tc.ctx_id; |
| 1311 | tc.push_local(sort0()); |
| 1312 | let level1 = tc.ctx_id; |
| 1313 | tc.push_local(sort1()); |
| 1314 | assert_ne!(level1, tc.ctx_id); |
| 1315 | tc.pop_local(); |
| 1316 | assert_eq!(tc.ctx_id, level1); |
| 1317 | tc.pop_local(); |
| 1318 | assert_eq!(tc.ctx_id, initial); |
| 1319 | } |