Method check_const

crates/kernel/src/check.rs:73–88

Type-check a single constant. Clears per-constant caches first.

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

  /// Type-check a single constant. Clears per-constant caches first.
  pub fn check_const(&mut self, id: &KId<M>) -> Result<(), TcError<M>>
  where
    M::MField<Vec<ix_common::env::Name>>: CheckDupLevelParams,
  {
    let c = self.get_const(id)?;
    if let Some(block) = self.coordinated_block_for(&c)? {
      if let Some(result) = self.env.block_check_results.get(&block).cloned() {
        return result;
      }
      let result = self.check_block_body(&block, id);
      self.env.block_check_results.insert(block, result.clone());
      return result;
    }

    self.check_const_member_fresh(id)
  }

  fn check_const_member_fresh(&mut self, id: &KId<M>) -> Result<(), TcError<M>>
  where