Method coordinated_block_if_kind

crates/kernel/src/check.rs:286–298

(
    &mut self,
    block: &KId<M>,
    expected: CheckBlockKind,
  )

    self.check_const_member_fresh(id)
  }

  fn check_const_member_fresh(&mut self, id: &KId<M>) -> Result<(), TcError<M>>
  where
    M::MField<Vec<Name>>: CheckDupLevelParams,
  {
    self.reset();
    self.begin_const(id);

    let c = self.get_const(id)?;
    self.check_const_member(id, &c)
  }

  fn check_const_member(
    &mut self,
    id: &KId<M>,