Function check_rejects

crates/kernel/src/testing.rs:237–243

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

}

pub fn check_rejects(env: &mut KEnv<Meta>, id: &MId) {
  let mut tc = TypeChecker::new(env);
  match tc.check_const(id) {
    Err(_) => {},
    Ok(()) => panic!("expected {id} to be rejected, but it was accepted"),
  }
}

/// Check with custom primitives (needed for Nat literal tests etc.)
pub fn check_accepts_with_prims(