Commit Graph

99 Commits

Author SHA1 Message Date
Anna Kozlova 7bec688369 lambda: don't reject value compatibility for lambdas with control flow problems inside (IDEA-142107) 2015-07-14 18:38:43 +03:00
Anna Kozlova 30a12275a2 lambda: highlight containing method ambiguity on method name: this avoids lots of lines of lambda body to be highlighted and it would show errors even if lambda body contains errors actually caused by the ambiguity on the parent level (IDEA-141580) 2015-06-18 17:54:23 +03:00
Anna Kozlova 4a63204f8b don't open capture if reference expression is returned from lambda expression (IDEA-139089) 2015-05-12 21:42:53 +02:00
Anna Kozlova 90e240041a functional expression type: ensure no capture conversion is performed over target type of cast expression (IDEA-139824) 2015-05-11 18:04:30 +02:00
Anna Kozlova fd11949634 new inference: accept inferred equals bounds even when additional constraints lead to failure to get more appropriate error message (IDEA-139275) 2015-04-16 20:30:29 +02:00
Anna Kozlova 1f50640671 lambda isValueCompatible: ensure that normal completion is impossible for infinite loops (IDEA-137848) 2015-03-20 20:08:51 +01:00
Anna Kozlova 027943681f lambda: check assignment for proper types (IDEA-137564) 2015-03-12 19:14:19 +01:00
Anna Kozlova e63a2de86f new inference: nothing should be cached during overload resolution (IDEA-136759) 2015-02-24 19:18:57 +01:00
Anna Kozlova aa1b472dff mew inference: checked exceptions with incompatible bounds 2015-02-24 15:04:52 +01:00
Anna Kozlova 11e81ab9d5 new inference: provide lambda incompatibility message based on failed inference (IDEA-131882) 2015-02-19 18:07:59 +01:00
Anna Kozlova b06817081b new inference: reject to infer variables if it's upper bound doesn't agree with lower/equal bound (when present) 2015-02-19 18:07:55 +01:00
Anna Kozlova d2c06c0d0b testdata for IDEA-123987 2015-02-13 21:28:47 +01:00
Anna Kozlova fc6e0f725d testdata for IDEA-124961 2015-02-13 21:28:46 +01:00
Anna Kozlova 925e9d1610 pertinent to applicability: reject nested lambdas if they target non proper type 2015-02-13 18:54:02 +01:00
Anna Kozlova 344379d2f4 lambda: accept? inference variables as target type for lambda expression during lambda constraint reduction (IDEA-136435) 2015-02-12 21:15:32 +01:00
Anna Kozlova 8ce9831489 bad return type in lambda expression: requited type added; range corrected (IDEA-134942) 2015-01-07 16:07:27 +01:00
Anna Kozlova 7343c62b7e new inference: infer exceptions for inner lambda body calls (IDEA-134225) 2014-12-17 20:13:46 +01:00
Anna Kozlova 3f0ce40440 testdata for IDEA-127124 2014-11-25 19:23:29 +01:00
Anna Kozlova 668ccc7dd0 new inference: site substitution from remembered properties (IDEA-132417) 2014-11-06 19:11:31 +01:00
Anna Kozlova 247fbc358f testdata for IDEA-131700 2014-10-23 14:46:29 +02:00
Anna Kozlova b2a07e2eee lambda: stop at method if it's located inside lambda (IDEA-131087)
(cherry picked from commit 890ffa719208e467b1ba238d248dbbf102c71b76)
2014-10-13 19:33:05 +02:00
Anna Kozlova edd271b71a testdata for IDEA-130920 2014-10-08 14:06:00 +02:00
Anna Kozlova 30b12e3e25 new inference: same parametrization check tweaked (IDEA-130519) 2014-09-30 15:47:28 +02:00
Anna Kozlova 1df6fba2bb testdata for IDEA-130129 2014-09-29 16:09:18 +02: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 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 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 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 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 9b4912c5a0 lambda: do not start inference from void type (IDEA-127596) 2014-07-21 12:12:28 +02:00
Anna Kozlova 496fb918b8 testdata for IDEA-126809 2014-07-02 16:35:25 +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 0d1e94b893 testdata for IDEA-125254 2014-06-24 16:01:53 +02:00
Anna Kozlova f6a393d527 lambda: fix parameter types comparing order (IDEA-126056) 2014-06-10 12:34:32 +04:00
Anna Kozlova ae2b6c6408 testdata fixed 2014-06-02 15:18:17 +04:00