Commit Graph

97 Commits

Author SHA1 Message Date
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
Anna Kozlova 2f6d5c9e27 testdata for IDEA-118362 2014-05-31 20:36:03 +04:00
Anna Kozlova 4cefdc5290 testdata for IDEA-124547 2014-05-05 17:12:06 +04:00