Commit Graph

413 Commits

Author SHA1 Message Date
Anna Kozlova
53cf6f6905 wording: warn about self references instead of "forward" ones 2014-07-02 12:26:17 +02:00
Anna Kozlova
60c18e802f simplified testdata 2014-07-02 11:00:54 +02:00
Anna Kozlova
d1cf801bc7 testdata for IDEA-126109 2014-07-01 15:50:08 +02:00
Anna Kozlova
3fd69c306f testdata for IDEA-124961 according to 1.8.0_20-ea 2014-06-27 18:31:52 +02:00
Anna Kozlova
5650b7331e method refs: missed applicable member/containing class substitutor for exact refs (IDEA-126613) 2014-06-26 17:35:20 +02:00
Anna Kozlova
643881aed8 include enum.values() in signature hierarchy (IDEA-125077) 2014-06-25 12:13:08 +02:00
Anna Kozlova
0d1e94b893 testdata for IDEA-125254 2014-06-24 16:01:53 +02:00
Anna Kozlova
596d24d505 method refs: reject constructor refs with 'receiver' syntax (IDEA-126484) 2014-06-23 20:10:01 +02:00
Anna Kozlova
2171c25296 revert new inference: mark erased for type params/raw types compatibility (IDEA-126379) 2014-06-19 18:21:44 +02:00
Max Medvedev
319bbf28a0 IDEA-125909 Groovy: trait methods accessed via 'super' are not resolved.
Use LinkedHashSet for PsiIntersectionType for order forcing.
2014-06-18 14:02:40 +04:00
Anna Kozlova
f6a393d527 lambda: fix parameter types comparing order (IDEA-126056) 2014-06-10 12:34:32 +04:00
Anna Kozlova
ccdc69a1bf method references: avoid double substitution (IDEA-126062) 2014-06-10 12:34:30 +04:00
Anna Kozlova
d13982bd06 most specific: do not start java 8 algorithm for provided type args (IDEA-125855) 2014-06-03 18:41:27 +04:00
Anna Kozlova
ae2b6c6408 testdata fixed 2014-06-02 15:18:17 +04:00
Anna Kozlova
2f6d5c9e27 testdata for IDEA-118362 2014-05-31 20:36:03 +04:00
Anna Kozlova
fffde12ba8 new inference: mark erased for type params/raw types compatibility (IDEA-122932) 2014-05-30 23:31:20 +04:00
Anna Kozlova
a2615d0fc1 new inference: accept raw equality 2014-05-30 23:31:18 +04:00
Anna Kozlova
eaa9ce63f6 method refs: check if interface functional (IDEA-125511) 2014-05-26 09:19:31 +04:00
Anna Kozlova
7ab104ac75 IDEA-124985 2014-05-12 17:59:15 +04:00
Anna Kozlova
5bf5dd0450 static methods in interfaces can't be hidden in subclasses (IDEA-124921) 2014-05-12 13:08:28 +04:00
Anna Kozlova
cc743c35cc testdata for JDK-8042508 2014-05-07 12:29:28 +04:00
Anna Kozlova
288ccfa195 most specific check: accept lambdas when target type is type parameter (IDEA-124725) 2014-05-05 17:12:17 +04:00
Anna Kozlova
35206e46bf uncomment testdata 2014-05-05 17:12:09 +04:00
Anna Kozlova
4cefdc5290 testdata for IDEA-124547 2014-05-05 17:12:06 +04:00
Anna Kozlova
90d2f451a1 new inference: early abort calculation by lambda return (IDEA-124276) 2014-05-01 16:29:35 +04:00
Anna Kozlova
f2256cab48 calculate target type in the same way for statement/expressions lambdas 2014-05-01 15:33:13 +04:00
Anna Kozlova
896c488a2f testdata to expression lambda 2014-05-01 15:33:11 +04:00
Anna Kozlova
8096d635a6 inference when incomplete 2014-05-01 15:33:10 +04:00
Anna Kozlova
46408bee30 method references: super methods treatment in exact check 2014-04-30 14:45:10 +04:00
Anna Kozlova
f144943412 applicability constraints by method reference (IDEA-122018) 2014-04-30 12:45:52 +04:00
Anna Kozlova
84deec968d method refs: is exact should check super methods for this/super qualifiers only (IDEA-124507) 2014-04-28 15:12:44 +02:00
Anna Kozlova
f72e4f5a7c testdata for IDEA-124148 2014-04-23 16:33:49 +02:00
Anna Kozlova
2b8e2e885a add unchecked warning calls also for method references 2014-04-22 20:02:55 +02:00
Anna Kozlova
57e886f7a4 testdata: check that method ref on static interface method is accepted 2014-04-22 20:02:54 +02:00
Anna Kozlova
8bad8079f6 lambda: do not skip generic method when non-generic method exist in the same class 2014-04-22 20:02:52 +02:00
Anna Kozlova
7d74b9dcf1 NPE 2014-04-22 20:02:51 +02:00
Anna Kozlova
0da9f91eec testdata: ensure overload resolution prefer correct one from methods with boxed types 2014-04-22 20:02:49 +02:00
Anna Kozlova
2c49817e26 NPE 2014-04-22 20:02:48 +02:00
Anna Kozlova
d5107d652f testdata: ensure intersection type is not missed during inference 2014-04-22 20:02:47 +02:00
Anna Kozlova
7898108ccd testdata: ensure lambda can't be inferred from type parameter 2014-04-22 20:02:45 +02:00
Anna Kozlova
5b91054564 testdata: ensure overload resolution by return type should not take place for interrupted control flow 2014-04-22 20:02:44 +02:00
Anna Kozlova
9aa2f3aaac testdata: ensure correct parameters number in functional interface method 2014-04-22 20:02:42 +02:00
Anna Kozlova
1698f7bb29 testdata: ensure method ref qualified are checked over static problems 2014-04-22 20:02:41 +02:00
Anna Kozlova
b49d8e753f testdata 2014-04-22 20:02:40 +02:00
Anna Kozlova
f1f6fcf53b functional interfaces: ignore methods with type parameters during abstract method choosing 2014-04-22 20:02:38 +02:00
Anna Kozlova
a55db18089 lambda: accept intersection type when exactly one conjunct is functional 2014-04-22 20:02:37 +02:00
Anna Kozlova
76a9293609 testdata 2014-04-22 20:02:34 +02:00
Anna Kozlova
17b020f7c2 new overload resolution: covariant comparison of return types 2014-04-22 20:02:33 +02:00
Anna Kozlova
98ab76f060 new overload resolution: most specific check on invalid class exceptions fixed 2014-04-22 20:02:32 +02:00
Anna Kozlova
552dfe92a9 lambda: intersection type produces conjunction of abstract methods 2014-04-22 20:02:30 +02:00