swift

b0bd88b8 - [Constraint solver] Remove erroneous constraints from the constraint graph.

[Constraint solver] Remove erroneous constraints from the constraint graph. When a constraint fails, we retire it... but we also need to remove it from the constraint graph. Otherwise, we break invariants when diagnostic generation attempts to continue simplification. Fixes rdar://rdar28145033.