Method new

crates/kernel/src/tc.rs:196–224

(env: &'a mut KEnv<M>)

  /// Local context for fvar-based binder opening. Some validation paths still
  /// use the legacy `ctx`/`let_vals` stack, so `depth()` accounts for both
  /// during the transition.
  pub lctx: super::lctx::LocalContext<M>,
}

impl<'a, M: KernelMode> TypeChecker<'a, M> {
  pub fn new(env: &'a mut KEnv<M>) -> Self {
    let prims = env.prims().clone();
    TypeChecker {
      env,
      lazy_ixon: None,
      lazy_anon: None,
      prims,
      ctx: Vec::new(),
      let_vals: Vec::new(),
      num_let_bindings: 0,
      ctx_id: empty_ctx_addr(),
      ctx_id_stack: Vec::new(),
      equiv_manager: EquivManager::new(),
      infer_only: false,
      in_native_reduce: false,
      cheap_recursion_depth: 0,
      eager_reduce: false,
      def_eq_depth: 0,
      def_eq_trace_depth: 0,
      def_eq_peak: 0,
      rec_fuel: max_rec_fuel(),
      debug_label: None,
      cur_const: None,
      delta_targets: FxHashSet::default(),
      hot_misses: FxHashMap::default(),
      ctx_addr_cache: FxHashMap::default(),
      lctx: super::lctx::LocalContext::new(),