Function check_crate_wf

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