4 Commits

Author	SHA1	Message	Date
Anna Kozlova	11e81ab9d5	new inference: provide lambda incompatibility message based on failed inference (IDEA-131882)	2015-02-19 18:07:59 +01:00
Anna Kozlova	b06817081b	new inference: reject to infer variables if it's upper bound doesn't agree with lower/equal bound (when present)	2015-02-19 18:07:55 +01:00
Anna Kozlova	ed392c7308	unknown classes in testdata fixed	2014-09-01 21:46:11 +04:00
Anna Kozlova	e5afaa7a58	new inference: process additional constraints one after another and use data from previous results (IDEA-124983)	2014-09-01 21:46:11 +04:00