swift
[ConstraintSystem] Relax the left-over information check in `ComponentStep`
#38770

Merged

Commits

[ConstraintSystem] Relax the left-over information check in `ComponentStep`

xedin committed 5 years ago
[ConstraintSystem] Remove check for left-over free type variables since it's handle gracefully

xedin committed 5 years ago
[ConstraintSystem] Add `InvalidState` flag to indicate that any attempt to solve should fail

xedin committed 5 years ago
[CSStep] Don't abort upon discovering constraint system in an invalid state

xedin committed 5 years ago
[ConstraintSystem] Make sure that invalid state is always diagnosed via fallback diagnostic

xedin committed 5 years ago
[ConstraintSystem] Don't attempt to rollback state and scope from incorrect state

xedin committed 5 years ago