()
| 1242 | assert_eq!(tc.num_let_bindings, 1); |
| 1243 | tc.push_let(sort1(), sort1()); |
| 1244 | assert_eq!(tc.num_let_bindings, 2); |
| 1245 | tc.pop_local(); |
| 1246 | assert_eq!(tc.num_let_bindings, 1); |
| 1247 | tc.pop_local(); |
| 1248 | assert_eq!(tc.num_let_bindings, 0); |
| 1249 | } |
| 1250 | |
| 1251 | #[test] |
| 1252 | fn push_local_does_not_touch_let_count() { |