[CSStep/TypeVar] Check if loop should be stopped even if current binding has failed
Eagerly check if optimal solution has already been found even if
current binding attempt has failed, because otherwise it might
check too many bindings which would result in ambiguity.
Committer
Davide Italiano