Commit Graph

1825 Commits

Author SHA1 Message Date
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
Anna Kozlova 2f47f0caf0 migration to stream api: disable for raw types (IDEA-140095) 2015-05-08 21:01:45 +02:00
Anna Kozlova 84a06d86a9 testdata for IDEA-139875 2015-05-04 15:01:34 +02:00
Anna Kozlova e86c7dcb25 new inference: assert that no resolve is performed on the "inference-in-progress" reference 2015-04-30 09:47:12 +02:00
Anna Kozlova 3c5b94f461 testdata to check additional constraints 2015-04-29 19:18:19 +02:00
Anna Kozlova c411468b07 new inference: skip lambda return expression additional constraints during overload resolution 2015-04-29 18:41:34 +02:00
Anna Kozlova 4587a18b23 testdata fixed 2015-04-28 16:46:37 +02:00
Anna Kozlova 95dfffccb0 replace with collect: insert cast for method reference and simplify when redundant (IDEA-139704) 2015-04-28 13:04:58 +02:00
Anna Kozlova 02e86e0ab9 static interface method: if called on wrong qualifier mark as static problem (IDEA-139651) 2015-04-28 13:04:57 +02:00
Anna Kozlova b0a5c89d74 test data for nested overloaded method calls in lambda body 2015-04-28 10:05:53 +02:00
Anna Kozlova 1233bccf4e new inference: avoid prohibit cashing, don't check exceptions during overload resolution instead (IDEA-139531) 2015-04-27 17:26:24 +02:00
Anna Kozlova ad26842083 non-reifiable type check: testdata for IDEA-139091 2015-04-27 09:32:26 +02:00
Anna Kozlova 21f187bd44 separate capture conversion from substitution 2015-04-27 09:32:20 +02:00
Anna Kozlova 553ad77e46 overload resolution: reject java 8 varargs methods when they are checked by fixed arity and number of parameters doesn't match 2015-04-24 20:33:40 +02:00
Anna Kozlova 511a356788 reifiable types: ensure that generic types with only all type params as unbound wildcards are treated as reifiable (IDEA-139577) 2015-04-24 20:33:37 +02:00
Anna Kozlova b61e8bdb39 access static via instance: ensure type params are attached to the class reference (IDEA-139440) 2015-04-24 13:46:13 +02:00
Anna Kozlova e5097dfc24 lambda -> method ref: ensure that capture is checked according to the param ref; avoid wildcards in method ref qualifiers (IDEA-139529) 2015-04-24 13:46:11 +02:00
Anna Kozlova f0fae34076 intersection types in cast: provide "delete repeated interface" fix 2015-04-20 10:19:24 +02:00