 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 |
|