Function check_accepts

crates/kernel/src/testing.rs:229–235

(env: &mut KEnv<Meta>, id: &MId)

// ---- Test runner helpers ----

pub fn check_accepts(env: &mut KEnv<Meta>, id: &MId) {
  let mut tc = TypeChecker::new(env);
  match tc.check_const(id) {
    Ok(()) => {},
    Err(e) => panic!("expected {id} to be accepted, got error: {e:?}"),
  }
}

pub fn check_rejects(env: &mut KEnv<Meta>, id: &MId) {
  let mut tc = TypeChecker::new(env);