 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 |
|
|
Anna Kozlova
|
a449241577
|
distinct prover: distinguish types when type parameter has bounds (IDEA-118037)
|
2013-12-16 17:00:38 +04:00 |
|
|
Anna Kozlova
|
3bdaae06c9
|
new inference: propagate outer method to constraints, initial (IDEA-117803)
|
2013-12-09 17:01:50 +04:00 |
|
|
Anna Kozlova
|
b055f12e86
|
IDEA-117827 Invalid "ambiguous method call" error
|
2013-12-09 17:01:48 +04:00 |
|
|
Anna Kozlova
|
bf9f135419
|
create from usage: reuse 'completion inference' when create from argument list
|
2013-12-07 14:21:43 +01:00 |
|
|
Anna Kozlova
|
a0ba534c1d
|
IDEA-117780 Bad code is green: non-static class T cannot be referenced from a static context
|
2013-12-06 20:51:59 +01:00 |
|
 Bas Leijdekkers
|
fe3cabd3cc
|
fix bad loop IDEA-117644 ("Move initializer to constructor" intention breaks code)
|
2013-12-05 12:31:28 +01:00 |
|
|
anna
|
8b97583179
|
add explicit arguments: eliminate wildcards (IDEA-106741)
|
2013-12-03 17:35:07 +01:00 |
|
 Roman Shevchenko
|
393d831d3a
|
IDEA-117391 (annotation highlighting fixed)
|
2013-12-02 19:04:42 +01:00 |
|
|
anna
|
4920da736f
|
IDEA-113339 "replace with method reference" ignores side effect of expression: ignore any new expressions in qualifiers
|
2013-11-29 18:24:21 +01:00 |
|
|
anna
|
3c78ab4dc5
|
lambda -> method ref: do not convert if resulted ref would be ambiguous (IDEA-116964)
|
2013-11-28 21:42:31 +01:00 |
|
|
anna
|
852785ea18
|
testdata to check invalid method refs
|
2013-11-28 14:14:45 +01:00 |
|
|
anna
|
5847e27156
|
suggest casting int to long when Long is expecting
|
2013-11-28 12:21:43 +01:00 |
|
|
anna
|
f2c576c7de
|
method refs: do not choose more specific method between methods with different number of params
(cherry picked from commit f986c7c3541f032da16736f43fd34c92337242c4)
|
2013-11-28 12:21:42 +01:00 |
|