run_check

Function run_check 

Source
fn run_check(genv: GlobalEnv<'_, '_>, def_id: DefId) -> Result<()>