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
ee0e90d92c
provide applicability substitutor when inference fails for parent expression
2017-05-08 22:58:02 +03: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
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
a6625994fb
overload resolution: don't skip errors from another context (IDEA-151119)
2016-02-02 14:38:40 +03:00
Anna Kozlova
15f3eac8a2
inference:incorporation optimization: skip variable's bound incorporation if the phase didn't change these bounds
2016-01-19 12:56:50 +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
d32e6ec080
new inference: start inference from top to bottom; ensure getTargetType doesn't perform any inference; cache intermediate results
2015-11-19 10:47:21 +01:00
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
Anna.Kozlova