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