swift

adb245fb - [CSBindings] Detect situations when type variable bindings could be incomplete

[CSBindings] Detect situations when type variable bindings could be incomplete When `bind param` constraint is associated with a given type variable a set of bindings collected for it is potentially incomplete, because binding gathering doesn't look through related type variables. Which means that such type variable has to be de-prioritized until `bind param` constraint is resolved or there is just nothing else to try, otherwise there is a risk that solver would skip some of the valid solutions. Resolves: rdar://problem/45659733