fn fn_maybe_err(tcx: TyCtxt<'_>, sp: Span, abi: Abi)