Function ctx_id_same_pushes_yield_same_hash

crates/kernel/src/tc.rs:1264–1272

()

    tc.pop_local(); // pops the let
    assert_eq!(tc.num_let_bindings, 0);
    tc.pop_local(); // pops the original lambda
    assert_eq!(tc.num_let_bindings, 0);
  }

  // ---- ctx_id determinism and stack ----

  #[test]
  fn empty_ctx_id_is_the_same_const() {
    let tc1 = new_tc();
    let tc2 = new_tc();
    assert_eq!(tc1.ctx_id, tc2.ctx_id);
    assert_eq!(tc1.ctx_id, empty_ctx_addr());