Function check_accepts_with_prims

crates/kernel/src/testing.rs:246–257

Check with custom primitives (needed for Nat literal tests etc.)

(
  env: &mut KEnv<Meta>,
  id: &MId,
  prims: super::primitive::Primitives<Meta>,
)

/// Check with custom primitives (needed for Nat literal tests etc.)
pub fn check_accepts_with_prims(
  env: &mut KEnv<Meta>,
  id: &MId,
  prims: super::primitive::Primitives<Meta>,
) {
  let mut tc = TypeChecker::new(env);
  tc.prims = prims;
  match tc.check_const(id) {
    Ok(()) => {},
    Err(e) => panic!("expected {id} to be accepted, got error: {e:?}"),
  }
}

/// Build Primitives resolved from a test environment.
/// The env should contain all the primitives the test needs.