The function to invoke to determine the static suitability of the arguments at this call site, and to compute a stronger type bound for the call site's result type.