verify

rustc_passes::weak_lang_items

Function verify 

Source 
fn verify(tcx: TyCtxt<'_>, items: &LanguageItems)