Anna Kozlova
|
800f508c44
|
new inference: prohibit substitution during checked exception constraint processing
|
2014-09-16 10:25:03 +04:00 |
|
Anna Kozlova
|
dc988e848d
|
new inference: do not resolve method calls in lambda return expressions to check isPolyExpression when arguments do not contain potential constrains
|
2014-09-16 10:25:03 +04:00 |
|
Anna Kozlova
|
c07c3f5c5b
|
lambda: ensure ground type is taken before lambda parameter type is calculated (IDEA-129791)
|
2014-09-12 21:36:55 +04:00 |
|
Anna Kozlova
|
6b266edf0b
|
testdata accepted
|
2014-09-12 09:34:43 +04:00 |
|
Anna Kozlova
|
16838a8c11
|
new inference: teach strict subtyping constraint about intersection types (IDEA-129727)
|
2014-09-11 09:49:51 +04:00 |
|
Anna Kozlova
|
cbb22b8c9f
|
new inference: process fresh variables depending on resolved vars (IDEA-56775)
|
2014-09-08 20:29:29 +04:00 |
|
Anna Kozlova
|
29e00ab329
|
testdata for IDEA-102800
|
2014-09-08 15:37:38 +04:00 |
|
Anna Kozlova
|
8e353cebff
|
testdata for IDEA-106985
|
2014-09-04 15:07:13 +04:00 |
|
Anna Kozlova
|
33f7cb51f2
|
new inference: most specific check according to spec, fixed testdata after JDK-8043734
|
2014-09-04 13:45:03 +04:00 |
|
Anna Kozlova
|
9097465506
|
new overload resolution: void value compatibility to reject improperly shaped implicitly typed lambdas
|
2014-09-03 16:54:34 +04:00 |
|
Anna Kozlova
|
5fc5b2b300
|
new overload resolution: reject explicitly typed lambda to be pertinent to applicability if any of its return expressions is not
|
2014-09-03 16:54:33 +04:00 |
|
Anna Kozlova
|
83c2d36544
|
testdata for assignment to final vars inside lambda
|
2014-09-03 16:54:32 +04:00 |
|
Anna Kozlova
|
44253d03be
|
forbid assignment to final variable inside lambda
|
2014-09-03 16:54:31 +04:00 |
|
Anna Kozlova
|
736f703bbf
|
new inference: standalong check with cached data (IDEA-128982)
|
2014-09-02 19:59:38 +04:00 |
|
Anna Kozlova
|
234a96abe6
|
testdata for IDEA-126778
|
2014-09-02 19:59:38 +04:00 |
|
Anna Kozlova
|
04704da817
|
new inference: accept deep nested lambdas (IDEA-125264)
|
2014-09-02 16:24:20 +04:00 |
|
Anna Kozlova
|
cf768245b6
|
new inference: skip parenthesized expressions during additional constrains collection
|
2014-09-02 16:24:19 +04:00 |
|
Anna Kozlova
|
ed392c7308
|
unknown classes in testdata fixed
|
2014-09-01 21:46:11 +04:00 |
|
Anna Kozlova
|
6af644e61d
|
testdata for IDEA-129251
|
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 |
|
Anna Kozlova
|
4d3d6e8a8c
|
new inference: ignore trivial dependencies
|
2014-09-01 21:46:10 +04:00 |
|
Anna Kozlova
|
6e8d0a65f7
|
new inference: cleanup incorporation phase
|
2014-08-29 12:01:58 +04:00 |
|
Anna Kozlova
|
281546ac00
|
fix testdata imports
|
2014-08-28 15:20:58 +04:00 |
|
Anna Kozlova
|
d587b25852
|
testdata for IDEA-126163
|
2014-08-28 15:20:58 +04:00 |
|
Anna Kozlova
|
daae222bd0
|
testdata for IDEA-127285
|
2014-08-28 15:20:57 +04:00 |
|
Anna Kozlova
|
426836c303
|
testdata for IDEA-124151; IDEA-128245
|
2014-08-28 15:20:57 +04:00 |
|
Anna Kozlova
|
495e455ded
|
new inference: infinite types
|
2014-08-28 14:28:50 +04:00 |
|
Anna Kozlova
|
5e425d9eac
|
testdata for (IDEA-128766)
|
2014-08-21 18:14:27 +04:00 |
|
Anna Kozlova
|
b5229e305b
|
testdata to fix
|
2014-08-21 18:14:27 +04:00 |
|
Anna Kozlova
|
9b5eb2418f
|
new inference: fresh variables
|
2014-08-21 18:14:27 +04:00 |
|
Anna Kozlova
|
356c3e7c9e
|
new inference: open/close capture when method reference is resolved (IDEA-128712)
|
2014-08-18 20:56:11 +04:00 |
|
Anna Kozlova
|
81fc7616bf
|
forbid 'static'/'default' in annotation types
|
2014-08-18 14:35:59 +04:00 |
|
Anna Kozlova
|
b9ae8339d6
|
method refs: do not accept static varargs methods by receiver (IDEA-128534)
|
2014-08-13 14:17:59 +04:00 |
|
Anna Kozlova
|
4095b411aa
|
new inference: proceed with additional constraints when no nested calls available (IDEA-124424)
|
2014-08-12 19:35:37 +04:00 |
|
Anna Kozlova
|
68248573dd
|
testdata for IDEA-127124 comment
|
2014-08-12 16:08:07 +04:00 |
|
Anna Kozlova
|
8df64d1cde
|
more informative error message (IDEA-125544)
|
2014-08-11 11:29:24 +04:00 |
|
Anna Kozlova
|
7c6d93dfb4
|
method reference: take type args into account
|
2014-08-08 19:49:15 +04:00 |
|
Anna Kozlova
|
29dbb0c26e
|
testdata to fix
|
2014-08-08 19:49:14 +04:00 |
|
Anna Kozlova
|
ead13681e1
|
new inference: postpone resolution of independent vars (IDEA-125674)
|
2014-08-08 19:49:14 +04:00 |
|
Anna Kozlova
|
2ad2db4124
|
testdata to fix
|
2014-08-08 11:44:59 +04:00 |
|
Anna Kozlova
|
ecf7f009d2
|
testdata to be fixed
|
2014-08-07 16:13:15 +02:00 |
|
Anna Kozlova
|
0381abe4b3
|
testdata for IDEA-127275
|
2014-08-06 17:55:48 +02:00 |
|
Anna Kozlova
|
65da126de7
|
new inference: ignore additional constraints when performed for overload resolution (IDEA-127928)
|
2014-08-06 17:55:46 +02:00 |
|
Anna Kozlova
|
5f361c8614
|
new inference: restore cache after use
|
2014-08-06 17:55:44 +02:00 |
|
Anna Kozlova
|
313125533c
|
method reference: exact reference check fixed for methods with the signatures without generics (IDEA-127765)
|
2014-08-05 18:54:32 +02:00 |
|
Anna Kozlova
|
28569c671e
|
new inference: highlighting for contradictory inferred intersection types; sequential same method calls context (IDEA-128101)
|
2014-08-05 11:59:06 +02:00 |
|
Anna Kozlova
|
438e9160a0
|
overload resolution: force substitutor calculation (IDEA-128174)
|
2014-08-05 11:59:02 +02:00 |
|
Anna Kozlova
|
457091952f
|
effectively final check (IDEA-128196)
|
2014-08-04 15:08:27 +02:00 |
|
Anna Kozlova
|
502a3e9a65
|
new inference: check also variable instantiation for primitive wrappers (IDEA-127752)
|
2014-07-23 19:19:13 +02:00 |
|
Anna Kozlova
|
24be503eb2
|
new inference: missed condition in conditional expression (IDEA-127752)
|
2014-07-23 19:19:12 +02:00 |
|