Commits
Pavel Yaskevich committed 2011e502adc
[Type Checker] Prevent Path Consistency algorithm from aborting too aggressively Instead of failing shrinking when there are no solutions for current sub-expression, let's restore overload domains for previously solved sub-expressions and move on trying to solve next expression in the queue.