Function with_infer_only_scoping

crates/kernel/src/tc.rs:1518–1527

()

    let s = tc.save_depth();
    tc.push_let(sort0(), sort0());
    tc.push_local(sort0());
    tc.push_let(sort1(), sort1());
    assert_eq!(tc.num_let_bindings, 2);
    tc.restore_depth(s);
    assert_eq!(tc.depth(), 0);
    assert_eq!(tc.num_let_bindings, 0);
  }

  // ---- tick / fuel ----

  #[test]
  fn tick_consumes_fuel() {
    let mut tc = new_tc();