Method pop_local

crates/kernel/src/tc.rs:479–485

Pop the most recent local variable.

(&mut self)

    h.update(self.ctx_id.as_bytes());
    self.ctx_id_stack.push(self.ctx_id);
    self.ctx_id = h.finalize();
    self.ctx.push(ty);
    self.let_vals.push(Some(val));
    self.num_let_bindings += 1;
  }

  pub fn fresh_fvar_id(&mut self) -> FVarId {
    self.env.fresh_fvar_id()
  }