Commit Graph

10 Commits

Author SHA1 Message Date
Anna Kozlova
afa0706bfc java highlighting: provide better incompatible types message on failed inference
GitOrigin-RevId: 5f97ec808f753d9ca40c417704ec93a802512745
2019-07-08 12:04:21 +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
1bece25b95 inference: when unchecked conversion was applied, resolve variables against raw substitutor 2016-08-17 13:53:02 +03:00
Anna.Kozlova
cc72bd0319 inference: restore probably partial raw inference as this way expected raw types are preserved and Objects won't be inferred in place where raw types were expected 2016-03-30 12:15:25 +02:00
Anna.Kozlova
bf5cd076c1 new inference: avoid inferring partly raw types (in case of unchecked conversion resolve to eq/low bound or null if only upper is present) as these types won't be treated as wildcard parameterized ever (IDEA-150167) 2016-03-24 11:48:06 +01:00
Anna Kozlova
10760d9bbf new inference: process varargs as separate method candidate/separate phase
(cherry picked from commit fdd6f66268d29bb996a103f69180851b92947d21)
2014-03-12 10:15:03 +01:00
Anna Kozlova
dccb826526 new inference: cache substitutor for outer call conflict resolution 2014-03-07 18:02:48 +01:00
Anna Kozlova
828cb5a1a2 new inference: erase return type if unchecked conversion was performed 2014-02-24 18:59:40 +01:00
Anna Kozlova
694432f156 new inference: capture conversions in return types initial; variable dependencies 2014-02-19 09:46:04 +01:00
Anna Kozlova
89d2ebc500 invocation type inference: when unchecked conversion was performed - treat its results in return value checks as they were in bounds 2014-01-31 22:16:02 +04:00