Commit Graph

1385 Commits

Author SHA1 Message Date
Anna Kozlova b32b3332c4 assignment fix for super wildcards (IDEA-125031) 2014-05-13 18:04:55 +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 d83af543fc accept raw substitutors during diamonds inference (IDEA-124836) 2014-05-07 15:35:58 +04:00
Anna Kozlova cc743c35cc testdata for JDK-8042508 2014-05-07 12:29:28 +04:00
Anna Kozlova 1ab69ce2b2 stream migration: missed qualifiers restored (IDEA-124820) 2014-05-07 11:57:36 +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 a2a076c02a lambda -> method ref: reject anonymous class replacement (IDEA-124748) 2014-05-05 17:12:13 +04:00
Anna Kozlova dc73135a77 accept static methods with body in interfaces (IDEA-124745) 2014-05-05 17:12:12 +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 902e51a856 substitute bounds (IDEA-123509) 2014-04-29 18:54:59 +04:00
Anna Kozlova f58394cd59 IDEA-124019 2014-04-29 18:54:56 +04:00
Anna Kozlova a6db438af6 testdata fixed 2014-04-29 11:18:29 +02:00
Anna Kozlova c2957e7fe8 anonymous -> lambda: conflicting ref in var declaration (IDEA-124525) 2014-04-28 15:12:46 +02: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 a4f2f0e73b create method from method ref: fis for type element qualifier (IDEA-124485) 2014-04-25 18:38:40 +02:00
Anna Kozlova baccb31d7e diamonds: resolve conflicts based on type params from constructor and containing class (IDEA-123518) 2014-04-25 18:38:39 +02:00
Anna Kozlova f3e1d968b8 IDEA-124385 2014-04-25 18:38:38 +02:00
Anna Kozlova 0c1ec73530 IDEA-124163 2014-04-25 14:21:55 +02:00
Anna Kozlova 71f8a4af73 IDEA-124352 2014-04-25 14:21:53 +02:00
Anna Kozlova b8fb550a2e IDEA-124271 2014-04-23 20:10:19 +02:00
Anna Kozlova 209d176ea6 disable stream api conversion on iterable (IDEA-124222) 2014-04-23 20:10:18 +02:00
Anna Kozlova f72e4f5a7c testdata for IDEA-124148 2014-04-23 16:33:49 +02:00
Anna Kozlova 1c431a8076 create meth reference from usage: substitute param types (IDEA-124322) 2014-04-23 16:33:48 +02:00
Anna Kozlova c160fc5adf copy to temp/array for non-effectively final variables used in lambda expressions 2014-04-23 16:33:47 +02:00
Anna Kozlova 54ced00cb4 highlight all pairs of methods with same erasures (IDEA-124116) 2014-04-23 16:33:43 +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 4a34bd569b do not report unrelated return type error only for generics methods 2014-04-22 20:02:36 +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