Pavel Yaskevich 488fc0fad5 [QoI] Cleanup AST after trying to shrink constraint system of invalid expression ...

Since `ConstraintSystem::shrink` is going to attempt to type-check
sub-expressions separately it's essential to clean-up AST if constraint
generation or solving of the such expressions fails, otherwise if
such solving resulted in creation of implicit expression type variables
might leak to the outside.

2017-01-13 17:20:56 -08:00

89 KiB

Raw Blame History

View Raw