Commit Graph

1540 Commits

Author SHA1 Message Date
Alexey Kudravtsev a03297df6b do not highlight method unused if referenced via overridden 2014-09-23 16:00:58 +04:00
Anna Kozlova 38087e7f3b do not erasure methods from non generics super types of raw types (IDEA-129646) 2014-09-18 15:02:23 +04:00
Anna Kozlova 3e13cddf2b lambda -> method reference: exclude receiver/non-receiver ambiguity (IDEA-129924) 2014-09-17 20:45:43 +04:00
Anna Kozlova f1b12f6025 method refs: correct condition on receiver type substitution (IDEA-129905) 2014-09-16 20:11:42 +04:00
Anna Kozlova 5e79028c99 new inference: checked exceptions inference, ensure throws bound are marked as such 2014-09-16 16:04:04 +04:00
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 724425f20f allow access inner class object from super expression (IDEA-129795) 2014-09-12 21:36:56 +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 ea883dd1e7 stream migration: do not suggest to migrate if exceptions are thrown inside the block (IDEA-129484) 2014-09-12 21:36:55 +04:00
Anna Kozlova a9c44fb386 block lambda -> exp lambda: more accurate check for conflict (IDEA-129780) 2014-09-12 16:24:22 +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 f884b96deb testdata for IDEA-114797 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 17b77be48b do not generate captured wildcard from unbound captured wildcard with same context 2014-09-04 15:07:13 +04:00
Anna Kozlova f35847c962 support for disjunction types in create from usage intentions (IDEA-129453) 2014-09-04 15:07:12 +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 32448804ae redundant lambda code block: do not suggest change void/value compatibility 2014-09-03 16:54:34 +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 158a01135c regression testdata added 2014-08-29 14:36:54 +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 624fa25d38 capture conversion: add upper bound for ? super if corresponding type parameter has upper bounds( IDEA-128328; IDEA-128972) 2014-08-27 20:59:32 +04:00
Anna Kozlova 66b21d3562 check type argument is in type parameter's bounds: ensure that resulted intersection type is valid 2014-08-27 20:59:31 +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 4131ada075 testdata for IDEA-78402 2014-08-18 21:45:31 +04:00
Anna Kozlova 6d5cc7b95a testdata for IDEA-19800 2014-08-18 21:45:31 +04:00
Anna Kozlova 0bcd4c8491 testdata for IDEA-25949 2014-08-18 21:45:30 +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 8369db7878 create from new: fix type parameters setup (IDEA-128679; IDEA-128682) 2014-08-18 15:21:11 +04:00