Anna.Kozlova
|
9bcbdb68cb
|
inference: register inference error when nested inference don't start as cached session already had errors
|
2016-10-21 18:07:07 +02:00 |
|
Anna Kozlova
|
6c5fc69ae9
|
inference: don't check bounds for variables which may depend on another variable with inconsistency bounds
|
2016-03-03 13:31:40 +01:00 |
|
Anna Kozlova
|
17743c0a87
|
unchecked warning: mark as unchecked if passed to strict subtyping (IDEA-151302)
|
2016-02-17 14:44:12 +01:00 |
|
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 |
|