Method new_with_lazy_anon

crates/kernel/src/tc.rs:1043–1055

Construct an anon-mode typechecker with lazy on-demand ingress. `anon_env` is expected to come from `Env::get_anon` (or otherwise have empty metadata maps). The dispatcher in `lazy_ingress_addr` never consults metadata regardless. Primitives are resolved by address only — `Primitives::from_addr_names` receives a closure that always returns `None`, so the `M::MField ` slot ends up as `()` (al

(
    env: &'a mut KEnv<super::mode::Anon>,
    anon_env: &'a IxonEnv,
  )

    log::info!("[hot misses] top {}:", entries.len().min(25));
    for (key, count) in entries.into_iter().take(25) {
      log::info!("  {count:>8}  {key}");
    }
  }
}

// -----------------------------------------------------------------------
// Anon-only constructors
// -----------------------------------------------------------------------
//
// `new_with_lazy_anon` lives here so the `M = Anon` constraint is enforced
// at compile time. The dispatcher in `lazy_ingress_addr` relies on this:
// `lazy_anon` being `Some` is a witness that `M = Anon`, which makes the
// `&mut KEnv<M>` → `&mut KEnv<Anon>` cast a no-op transmute.

impl<'a> TypeChecker<'a, super::mode::Anon> {
  /// Construct an anon-mode typechecker with lazy on-demand ingress.