Commit Graph

1842 Commits

Author SHA1 Message Date
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 0ce2b45350 generated testdata 2015-06-15 09:24:58 +03:00
Anna Kozlova 92b7fa01c4 captures: don't distinguish captures from normal types but leave capture for the same type wildcard 2015-06-14 21:51:21 +03:00
Anna Kozlova 74f9ac5a46 method ref: don't check method reference qualifier against functional interface (IDEA-141343) 2015-06-11 16:46:12 +03:00
Anna Kozlova 155f283f0e convert to streams: convert lambda to constructor reference; don't accept list when arrayList expected 2015-06-09 20:31:02 +03:00
Anna Kozlova 9bc2885c4c new inference: collect during inference substitutor from inference variables and replace them with type parameters at the very end, excluding foreign variables so e.g. no essential dependency would get overridden by type parameter from sibling call (IDEA-140387) 2015-06-03 22:26:28 +02:00
Anna Kozlova fc175ce1a8 overload resolution: compare functional interfaces for specific if they are not assignable (IDEA-140987) 2015-06-02 17:58:59 +02:00
Anna Kozlova 63e11cc0f9 overload resolution: ensure that incorrect arg numbers are filtered and for varargs methods (IDEA-140868) 2015-05-29 17:42:25 +02:00
Anna Kozlova 7b0c5b6d05 new inference: check equals/upper/low bounds consistency 2015-05-29 14:48:27 +02:00
Anna Kozlova cdb50293f2 capture conversion: ensure captured wildcards are not replaced after creation, so substitution is consistent; at the same time ensure that "?" with upper bound Runnable is equivalent to "? extends Runnable" 2015-05-28 19:42:11 +02:00
Anna Kozlova 719bfffcae don't override protected methods from Object in interfaces (IDEA-140804) 2015-05-28 19:42:10 +02:00
Anna Kozlova a21990d31e overload resolution with varargs: don't prefer promitive varargs when no arg is provided (IDEA-140759) 2015-05-27 22:01:03 +02:00
Anna Kozlova 34d5b5f027 make normalize return denotable type (IDEA-140528) 2015-05-21 21:53:44 +02:00
Anna Kozlova f18948a3a2 testdata for IDEA-140586 2015-05-21 21:53:42 +02:00
Anna Kozlova db72cccc97 method refs: missed qualifier substitution for return type (IDEA-140539) 2015-05-21 14:11:26 +02:00
Anna Kozlova d2c76135df testdata for IDEA-67592 2015-05-21 10:00:45 +02:00
Anna Kozlova e529861e4a testdata for IDEA-67746 2015-05-21 10:00:44 +02:00
Anna Kozlova 6fdd5592d5 testdata for IDEA-67842 2015-05-21 10:00:42 +02:00
Anna Kozlova 4afc0327aa testdata for IDEA-57502 2015-05-21 10:00:41 +02:00
Anna Kozlova c0258b3e2d testdata for IDEA-139090 2015-05-21 10:00:39 +02:00
Anna Kozlova 5eb8d5a8e6 testdata for IDEA-57320 2015-05-21 10:00:38 +02:00
Anna Kozlova d64ec6f997 testdata for IDEA-57362 2015-05-21 10:00:36 +02:00
Anna Kozlova eb0904cfd9 testdata for IDEA-57322 2015-05-21 10:00:34 +02:00
Anna Kozlova 97d8c99958 testdata for IDEA-57314 2015-05-21 10:00:33 +02:00
Anna Kozlova 78fe89e6c2 testdata for IDEA-57315 comment 2015-05-21 10:00:31 +02:00
Anna Kozlova 477689db69 testdata for IDEA-57361 2015-05-21 10:00:29 +02:00
Anna Kozlova 819f620cc8 testdata for IDEA-57387 2015-05-21 10:00:28 +02:00
Anna Kozlova 59f4b04154 testdata for IDEA-57313 2015-05-21 10:00:26 +02:00
Anna Kozlova 6f657b665f testdata for IDEA-67745 2015-05-21 10:00:25 +02:00
Anna Kozlova fea58865be captured wildcards: refactor to extract same parts for extends/super wildcards, ensure upper bound is not lost for extends wildcard (IDEA-57292) 2015-05-21 10:00:23 +02:00
peter fd62fed994 dfa: don't suggest to convert lvalue to ternary expression (IDEA-140519) 2015-05-20 15:21:20 +02:00
Anna Kozlova 1d5ff33cbe extend check for enclosing instance for java 8 default methods in interfaces (IDEA-140492) 2015-05-20 13:49:51 +02:00
Anna Kozlova 2fc7821d06 forbid native in interfaces (IDEA-140491) 2015-05-20 13:49:49 +02:00
Anna Kozlova 6b65d86df3 testdata for IDEA-139069 2015-05-20 10:47:25 +02:00
Anna Kozlova 443fda57f5 testdata for IDEA-57336 2015-05-20 10:47:23 +02:00
Anna Kozlova 8dae96f46f testdata for IDEA-139067 2015-05-20 10:47:22 +02:00
Anna Kozlova 4f0f3ff7fc new inference: include additional constraints to check applicability (IDEA-140355) 2015-05-19 11:07:45 +02:00
peter 069adff3dd IDEA-140331 Improve intention action for 'Method invocation may produce NPE' 2015-05-18 17:02:51 +02:00
Anna Kozlova 4e9f79945c ensure static method inherit default if container classes are inheritors 2015-05-17 17:39:18 +02:00
Anna Kozlova ad840dea8a redundant cast: don't warn if functional expression corresponds to another interface method (IDEA-140218) 2015-05-13 14:39:06 +02:00
Anna Kozlova fb0495e4a4 nested conditional expressions: don't require nested to be poly if outer is not 2015-05-13 11:41:23 +02: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 fdbfd64350 ensure enum constructors are private (IDEA-139065) 2015-05-12 17:07:08 +02:00
Anna Kozlova f9fd72ebac captured wildcard in subtyping constraints: use upper bound only (IDEA-139046) 2015-05-12 17:07:07 +02:00
Anna Kozlova 1d6a1bf27e accept casts as unchecked from generic types with type parameter with upper bounds as type argument: check parameter bounds first 2015-05-12 17:07:05 +02:00
Anna Kozlova 90dd4c5a31 EA-68330 - AIOOBE: RedundantLambdaParameterTypeIntention.isAvailable
process lambdas with formal param types at vararg position
2015-05-12 12:26:42 +02:00
Anna Kozlova 8b320ba8a7 disjunction type equals/hashCode, essential for new inference (IDEA-140150) 2015-05-12 11:39:47 +02:00
Anna Kozlova b0f1e6f2be determining enclosing instances for inner class instance creation expressions: accept all qualified super exprs, invalid are checked separately (IDEA-139880) 2015-05-11 18:04:31 +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 570a188199 method refs: non-raw receiver type should influence collected constraints (IDEA-140002) 2015-05-11 18:04:29 +02:00