4 Commits

Author	SHA1	Message	Date
practicalswift	de87201237	Mark crashers as fixed.	2017-01-14 17:56:32 +01:00
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
Arnold Schwaighofer	e46e63ebc6	Revert "[QoI] Cleanup AST after trying to shrink constraint system of invalid expression"	2017-01-13 13:35:19 -08:00
Pavel Yaskevich	9b7d632160	[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 00:39:37 -08:00