Method begin_const

crates/kernel/src/tc.rs:922–926

(&mut self, id: &KId<M>)

    }
  }

  /// Sharding profiler: mark `id` as the constant now being checked, so its
  /// heartbeats and delta-unfold edges are attributed correctly. No-op unless a
  /// `profile_sink` is installed. Called right after each per-constant `reset`.
  #[inline]
  pub(crate) fn begin_const(&mut self, id: &KId<M>) {
    if self.env.profile_sink.is_some() {
      self.cur_const = Some(id.addr.clone());