Function restore_depth_drops_let_count

crates/kernel/src/tc.rs:1478–1488

()

  #[test]
  fn lookup_let_val_returns_none_for_lambda_binding() {
    let mut tc = new_tc();
    tc.push_local(sort0());
    assert!(tc.lookup_let_val(0).is_none());
  }

  #[test]
  fn lookup_let_val_returns_some_for_let_binding() {
    let mut tc = new_tc();
    tc.push_let(sort0(), sort1());
    let v = tc.lookup_let_val(0).expect("expected Some for let-bound var");
    // Closed value (Sort 1) — lift by 1 is a no-op on closed expressions.
    assert!(matches!(v.data(), ExprData::Sort(..)));
  }