Method coordinated_check_block_for_const

crates/kernel/src/check.rs:62–70

Return the whole-block check key for a constant when its block has a supported homogeneous shape. This is used by batch schedulers to avoid assigning multiple workers to members of the same block.

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

  /// supported homogeneous shape. This is used by batch schedulers to avoid
  /// assigning multiple workers to members of the same block.
  pub fn coordinated_check_block_for_const(
    &mut self,
    id: &KId<M>,
  ) -> Result<Option<KId<M>>, TcError<M>> {
    let Some(c) = self.try_get_const(id)? else {
      return Ok(None);
    };
    self.coordinated_block_for(&c)
  }

  /// Type-check a single constant. Clears per-constant caches first.
  pub fn check_const(&mut self, id: &KId<M>) -> Result<(), TcError<M>>