fn do_check_abi<'tcx>(
tcx: TyCtxt<'tcx>,
abi: &FnAbi<'tcx, Ty<'tcx>>,
def_id: DefId,
is_call: bool,
span: impl Fn() -> Span,
)Expand description
Checks whether a certain function ABI is compatible with the target features currently enabled
for a certain function.
is_call indicates whether this is a call-site check or a definition-site check;
this is only relevant for the wording in the emitted error.