Commit Graph

1251 Commits

Author SHA1 Message Date
Anna Kozlova
c99aa93112 method reference: ref qualified isExact fixed (IDEA-120370) 2014-02-11 18:35:49 +01:00
Anna Kozlova
9466bd9bde new inference: method refs: potentially compatible condition 2014-02-11 14:20:50 +01:00
Anna Kozlova
0072e05c02 testdata fixed 2014-02-11 09:54:31 +01:00
Anna Kozlova
fd00ca6f91 new inference: method refs overload resolution: filter static problems for ReferenceType refs only 2014-02-11 09:40:05 +01:00
Anna Kozlova
2b5764d82a new inference: method references: process varargs 2014-02-11 09:40:02 +01:00
Anna Kozlova
4889751ded new inference: exclude return constraints/non pertinent to applicability argument constraints from overload resolution process 2014-02-11 09:40:00 +01:00
Anna Kozlova
b9ef7b60c7 new inference: subtyping/equality constraints interoperability 2014-02-11 09:39:59 +01:00
Alexey Kudravtsev
ad661d92e4 correct level in highlighting:
highlight element X only when visiting X or its ascendant
2014-02-10 20:03:58 +04:00
Anna Kozlova
5358bd270e new inference: testdata for IDEA-120376 2014-02-07 19:52:36 +01:00
Anna Kozlova
6efef684ce new inference: method ref inference: postpone return type inference in case of constructor refs 2014-02-07 18:43:54 +01:00
Anna Kozlova
5fb1dbb2ce new inference: check containing class type params if they are in bounds 2014-02-07 18:43:53 +01:00
Anna Kozlova
ff66c1b01a new inference: well formed check 2014-02-06 19:34:15 +01:00
Anna Kozlova
865a535fa7 new inference: wildcard parameterization inference 2014-02-06 19:34:13 +01:00
Anna Kozlova
ba11e80028 IDEA-120217 same lambda param names highlighting 2014-02-04 18:17:57 +04:00
Anna Kozlova
487c78e341 new inference: propagate inference variables from grand ~parents calls 2014-02-04 18:17:55 +04:00
Alexey Kudravtsev
078dbd99ec IDEA-119180 Groovy .gdsl editing support is broken in Intellij IDEA 13 2014-02-04 14:24:28 +04:00
Anna Kozlova
8cca960f72 new inference: target type detection according to consequence inference (IDEA-120193) 2014-02-04 12:29:51 +04:00
Anna Kozlova
ef15e60ccf new inference: lambda compatibility: ground type constraint added 2014-02-03 19:35:45 +04:00
Anna Kozlova
21fe45f5ad invalid @FunctionalInterface severity change warning -> error (IDEA-120162) 2014-02-03 19:35:40 +04:00
Anna Kozlova
b268a7f59c revert (IDEA-120153) 2014-02-03 19:35:39 +04: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
Anna Kozlova
be84252e83 type equality constraint: reject type/wildcard pairs; subtyping constraint: become eq constraint for types 2014-01-31 21:41:19 +04:00
Anna Kozlova
f26b80359a type compatibility constrain: unchecked conversion: return type is inference variable case 2014-01-31 21:41:17 +04:00
Anna Kozlova
5a9c00a259 type compatibility constrain: unchecked conversion step 2014-01-31 21:41:15 +04:00
Anna Kozlova
af8095f8b0 type compatibility constrain: boxing is not completeness-preserving: move treatment to return constraint 2014-01-31 21:41:14 +04:00
Anna Kozlova
4444fc1126 type equality constraint: accept unbounded/extends wildcards pair; reject unbounded/super 2014-01-31 21:41:13 +04:00
Anna Kozlova
2070864b80 test to choose overloaded method to detect target type 2014-01-31 21:41:11 +04:00
Anna Kozlova
e0fbc6320e resolve names conflicts inside lambda body (IDEA-120096) 2014-01-30 20:13:51 +04:00
Anna Kozlova
876784bc24 wildcard bounds composition (IDEA-113297) 2014-01-30 20:13:49 +04:00
Anna Kozlova
f0bfe3604e forbid forward references from lambda again (IDEA-119936) 2014-01-30 20:13:48 +04:00
Anna Kozlova
704285aae2 method refs constraint (IDEA-118437) 2014-01-30 20:13:47 +04:00
Anna Kozlova
6a30279168 deeply eliminate wildcards as they may appear during inference in wildcard's bounds 2014-01-30 12:02:21 +04:00
Anna Kozlova
6773fccfe8 testdata for IDEA-104429 2014-01-30 12:02:20 +04:00
Anna Kozlova
e2c708dfcf method refs: add constraint P1->ReferenceType for inexact method references despite of spec (IDEA-117311) 2014-01-30 12:02:17 +04:00
Anna Kozlova
9ef2c46b28 new inference: propagate current substitutors during additional constrains processing (IDEA-118965) 2014-01-30 12:02:16 +04:00
Anna Kozlova
aa04a46498 new inference: reduce additional constraints order fixed 2014-01-29 11:52:11 +04:00
Anna Kozlova
40f3ae8e6e lambda: ground target type for implicit lambda 2014-01-28 17:56:01 +04:00
Anna Kozlova
32094bf637 temp solution (IDEA-118527) 2014-01-28 17:55:59 +04:00
Anna Kozlova
88c7770258 graph inference: accept raw inference when return type was erased (IDEA-119844) 2014-01-27 19:59:24 +04:00
Anna Kozlova
c8e5698c54 graph inference: recursive calls (IDEA-119834) 2014-01-27 19:59:23 +04:00
Anna Kozlova
389fc762e1 EA-53504 - IOE: PsiJavaParserFacadeImpl.createExpressionFromText 2014-01-24 15:53:47 +04:00
Anna Kozlova
b00014b47e method ref constrain (IDEA-119552) 2014-01-24 15:53:44 +04:00
Anna Kozlova
6320d5f50c do not replace checked exception with unchecked (IDEA-119345) 2014-01-21 18:22:44 +04:00
Anna Kozlova
aaa813a877 resolve conflicting names (IDEA-119412) 2014-01-21 18:22:42 +04:00
Anna Kozlova
baee0eb2b3 distinct prover: do not distinguish raw type arguments from type arguments without params (IDEA-119546) 2014-01-21 18:22:40 +04:00
Anna Kozlova
eb258ae064 delete catch fix: introduce ARM 2014-01-02 11:59:13 +01:00
Anna Kozlova
6565df2bab untie static methods in interface hierarchy (IDEA-118577) 2013-12-23 16:44:50 +04:00
Anna Kozlova
3d7a8fb300 ensure public inner inside interface (IDEA-118564) 2013-12-23 16:44:48 +04:00
Anna Kozlova
7c4a448e29 add assert: respect initializer in ForStatement 2013-12-19 21:50:25 +04:00
Anna Kozlova
27a4b1890d suggest to extend class from Throwable when it participates in throw statement (IDEA-118215) 2013-12-16 20:08:26 +04:00