{"ast_node_type":"function","tokens":[{"end":63,"kind":"keyword","start":0,"text":"fn"}]}
fn verify(tcx: TyCtxt<'_>, items: &lang_items::LanguageItems) {
    // We only need to check for the presence of weak lang items if we're