5 Commits

Author	SHA1	Message	Date
Anna Kozlova	138bd5a034	new inference: provide diagnostics on failed inference (strict subtyping constraints); don't resolve vars before incorporate - this way captures won't be opened too early	2015-11-24 10:30:21 +01:00
Anna Kozlova	be2db1f940	new inference: report inference errors of containing call for lambdas	2015-11-20 21:47:13 +01:00
Anna Kozlova	8ce9831489	bad return type in lambda expression: requited type added; range corrected (IDEA-134942)	2015-01-07 16:07:27 +01:00
Anna Kozlova	bd681beb26	new inference: 18.5.2 adjustments	2014-02-19 09:46:15 +01:00
anna	fc58e5e0af	new inference: include lifting constraint when parent call is being investigated ... (cherry picked from commit aaeafcdce1c8d49512cc1fece17afb3e1705492e)	2013-11-25 16:48:11 +01:00