The local function is in HasCollectionExpressionApplicableAddMethod.
It is meant to mirror what BindInvocationExpressionContinued is doing in terms of reporting diagnostics and detecting a failure. But it is only used once in context of HasCollectionExpressionApplicableAddMethod and in that context the cases it has to handle are restricted.
We always have !result.Succeeded