Function pop_from_empty_resets_to_empty_ctx_addr

crates/kernel/src/tc.rs:1289–1295

()

    assert_ne!(after_sort0, after_sort1);
  }

  #[test]
  fn ctx_id_same_pushes_yield_same_hash() {
    // ctx hashing keys on intern uids, so the sharing property holds for
    // checkers over the SAME env (which is also the cache-sharing scope).
    let env: *mut KEnv<Meta> = Box::leak(Box::new(KEnv::<Meta>::new()));
    let id1 = {
      let mut tc1 = TypeChecker::new(unsafe { &mut *env });
      tc1.push_local(sort0());
      tc1.push_local(sort1());