Function verify

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