 Anna Kozlova
|
d8b3e5c7fd
|
new inference: captures should stay closed inside nested calls
|
2014-02-28 20:07:08 +01:00 |
|
|
Anna Kozlova
|
e683dc8fc1
|
new inference: wildcard parametrization for lambda with formal params: assignability check for complete parametrization only
|
2014-02-28 20:07:07 +01:00 |
|
 Roman Shevchenko
|
cfcc34be5f
|
IDEA-121251 (stray annotation highlighted)
|
2014-02-28 19:33:48 +01:00 |
|
|
Anna Kozlova
|
a047666d57
|
new inference: non wildcard parametrization against the spec
|
2014-02-28 16:13:52 +01:00 |
|
|
Anna Kozlova
|
cf066deca7
|
default methods: do not warn about protected methods from Object
|
2014-02-28 09:59:35 +01:00 |
|
|
Anna Kozlova
|
80c776355c
|
testdata fixed
|
2014-02-27 21:02:58 +01:00 |
|
|
Anna Kozlova
|
e7cb908c95
|
new inference: method refs: apply reference rules first
|
2014-02-27 21:02:57 +01:00 |
|
|
Anna Kozlova
|
66a8dedb8c
|
new inference: method refs: accept qualifier substitutor when nothing more could be inferred
|
2014-02-27 18:32:43 +01:00 |
|
|
Anna Kozlova
|
b31b23cd0b
|
new inference: temp solution to exclude inference results from nested call of the same method on the outer level
|
2014-02-27 18:32:41 +01:00 |
|
|
Anna Kozlova
|
5dd7e0622c
|
new inference: support for nested same method calls
|
2014-02-27 18:32:40 +01:00 |
|
 Bas Leijdekkers
|
7b58b81761
|
IDEA-121215 (Java 1.8: "Interface may be annotated with @FunctionalInterface" inspection should not report @interfaces)
|
2014-02-26 21:01:13 +01:00 |
|
|
Anna Kozlova
|
6033fa8670
|
provide type parameter based type with site substitutor to be accepted during type arguments check
|
2014-02-26 13:15:24 +01:00 |
|
|
Anna Kozlova
|
9b637e541b
|
for loop -> forEach call chain inspection
|
2014-02-25 22:03:28 +01:00 |
|
|
Anna Kozlova
|
e967a04b4b
|
redundant lambda param types: take site subst into account
|
2014-02-25 22:03:27 +01:00 |
|
|
Anna Kozlova
|
6ded813afe
|
new inference: most specifics, varargs case
|
2014-02-25 14:17:44 +01:00 |
|
|
Anna Kozlova
|
89aefc86f1
|
new inference: non-wildcard parameterization
|
2014-02-25 14:17:43 +01:00 |
|
|
Anna Kozlova
|
1b50ea2eb2
|
lambda -> anonym: disable in unexpected context where cast won't help (IDEA-120165)
|
2014-02-25 10:15:19 +01:00 |
|
|
Anna Kozlova
|
24fbf809a1
|
anonym -> lambda: check initializer inside constructor for final fields (IDEA-120698)
|
2014-02-24 21:49:00 +01:00 |
|
|
Anna Kozlova
|
44dde647bb
|
anonym -> lambda: do not suggest when forward references are detected (IDEA-120699)
|
2014-02-24 21:48:59 +01:00 |
|
|
Anna Kozlova
|
7a9bf2ac51
|
reject 1.7 varargs hack as 1.8 reject the code again even with target 1.7
|
2014-02-24 20:35:44 +01:00 |
|
|
Anna Kozlova
|
7a70428d04
|
lambda: accept ellipsis parameter when array expected (IDEA-117124)
|
2014-02-24 18:59:47 +01:00 |
|
|
Anna Kozlova
|
e0ce9deea3
|
testdata
|
2014-02-24 18:59:43 +01:00 |
|
|
Anna Kozlova
|
f1b256f416
|
forbid lambda in conditional inside cast context
|
2014-02-24 18:59:42 +01:00 |
|
|
Anna Kozlova
|
232f8bd465
|
new inference: strict subtyping: skip raw types
|
2014-02-24 18:59:41 +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
|
0f39a4ca18
|
method refs: restore error on invalid array creation
|
2014-02-21 21:47:03 +01:00 |
|
|
Anna Kozlova
|
b587af7151
|
exact method refs most specific: void compatibility
|
2014-02-21 21:47:01 +01:00 |
|
|
Anna Kozlova
|
2f80e7d9c0
|
new inference: reject partial computation
|
2014-02-21 18:55:54 +01:00 |
|
|
Anna Kozlova
|
948ad3e6d4
|
new inference: ensure type parameters are not modified during ground type evaluation
|
2014-02-21 12:42:23 +01:00 |
|
|
Anna Kozlova
|
6a38fbafaf
|
new inference: avoid current type calculation during conflict resolution for target type detection (IDEA-121052)
|
2014-02-21 12:42:22 +01:00 |
|
|
Anna Kozlova
|
964fcf5994
|
java 8: final and default/static in interfaces
|
2014-02-20 22:40:18 +01:00 |
|
|
Anna Kozlova
|
d2c3b4baef
|
more specific inference: do not compare functional types if both methods were generic
|
2014-02-20 22:40:17 +01:00 |
|
|
Anna Kozlova
|
e42ff74cc5
|
testdata for IDEA-120992
|
2014-02-20 22:40:16 +01:00 |
|
|
Anna Kozlova
|
217a1fd92f
|
new inference: address anonymous classes (IDEA-121063)
|
2014-02-20 22:40:15 +01:00 |
|
|
Anna Kozlova
|
0f023fa5ab
|
testdata for IDEA-121055
|
2014-02-20 22:40:14 +01:00 |
|
|
Anna Kozlova
|
a4deb4da3d
|
new inference: isAcceptable for lambda
|
2014-02-20 20:27:40 +01:00 |
|
|
Anna Kozlova
|
de7f053c42
|
new inference: do not accept varargs when array is passed there
|
2014-02-20 20:27:39 +01:00 |
|
|
Anna Kozlova
|
9fc4b68c25
|
new inference: take into account site substitutors during additional constraints gathering
|
2014-02-20 20:27:38 +01:00 |
|
|
Anna Kozlova
|
b11d66e0f1
|
new inference: method refs: do not include containing class type params in inference
|
2014-02-19 21:00:44 +01:00 |
|
|
Anna Kozlova
|
2a16fd1641
|
new inference: lambda functional type detection
|
2014-02-19 21:00:42 +01:00 |
|
|
Anna Kozlova
|
3093e7e63f
|
testdata fixed
|
2014-02-19 21:00:41 +01:00 |
|
|
Roman Shevchenko
|
9495ef2667
|
IDEA-119396 (be picky about unfinished annotated new array expressions)
|
2014-02-19 19:31:45 +01:00 |
|
|
Anna Kozlova
|
54bfa05e5e
|
new inference: lift also unknown vars (IDEA-117530)
|
2014-02-19 09:46:22 +01:00 |
|
|
Anna Kozlova
|
1b0e87f99e
|
java 8: allow to cast to intersection types
|
2014-02-19 09:46:17 +01:00 |
|
|
Anna Kozlova
|
bd681beb26
|
new inference: 18.5.2 adjustments
|
2014-02-19 09:46:15 +01:00 |
|
|
Anna Kozlova
|
61039804a9
|
bound promotion for super wildcard (? super A (bound extends A) == A)
|
2014-02-19 09:46:14 +01:00 |
|
|
Anna Kozlova
|
a91c7f752d
|
bound promotion for super wildcard (? super A (bound extends A) == A)
|
2014-02-19 09:46:12 +01:00 |
|
|
Anna Kozlova
|
15740a3cff
|
new inference: cls copy replacement
|
2014-02-19 09:46:10 +01:00 |
|
|
Anna Kozlova
|
19ba9d8c8d
|
new inference: resolve
|
2014-02-19 09:46:05 +01:00 |
|
|
Anna Kozlova
|
694432f156
|
new inference: capture conversions in return types initial; variable dependencies
|
2014-02-19 09:46:04 +01:00 |
|