()
| 1504 | tc.push_local(sort0()); |
| 1505 | let s = tc.save_depth(); |
| 1506 | tc.push_local(sort1()); |
| 1507 | tc.push_local(sort1()); |
| 1508 | assert_eq!(tc.depth(), 3); |
| 1509 | tc.restore_depth(s); |
| 1510 | assert_eq!(tc.depth(), 1); |
| 1511 | } |
| 1512 | |
| 1513 | #[test] |
| 1514 | fn restore_depth_drops_let_count() { |
| 1515 | let mut tc = new_tc(); |
| 1516 | let s = tc.save_depth(); |