swift

73318a21 - [Type Checker] Extend Path Consistency algorithm to cover collections

[Type Checker] Extend Path Consistency algorithm to cover collections ExprCollector is extended to cover all generic collections instead of only dictionary expressions. Contextual type propagation is extended to support partial solving of collections embedded into coerce expressions.