Function check_crate

Source
fn check_crate(genv: GlobalEnv<'_, '_>) -> Result<(), ErrorGuaranteed>