Anna.Kozlova
1fc76eb779
calc types by applicability constraints if inference fails
...
include all inference variables for resolve and ignore additional constraints checks if the inference is going to failure; this way if (expr()) would get type of the 'standalone' expression instead of expression with boolean as expected type
2017-12-07 15:51:06 +01:00
Anna Kozlova
77f4894aae
inference errors: make applicability error thread safe so multiple threads can perform overload resolution of parent method calls independently, save presentable error when substitutor cached only
2017-05-08 12:12:13 +03:00
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
