Function do_check_abi

Source
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.