pub fn check_abi(tcx: TyCtxt<'_>, hir_id: HirId, span: Span, abi: Abi)