Commit Graph

2150 Commits

Author SHA1 Message Date
Anna Kozlova
cbd7853f19 fix for default overriding abstract: missed substitutor 2016-02-26 16:06:22 +01:00
peter
b3a7925265 a test for EA-78631 - IAE: LightVariableBuilder.<init> (IDEA-CR-8189) 2016-02-26 15:19:04 +01:00
Anna Kozlova
3434d9cc47 method reference: capture wildcards of new expressions (IDEA-152115) 2016-02-25 19:42:52 +01:00
Anna Kozlova
6e9234b115 redundant casts: don't treat cast as redundant if functional expression get more specific type (IDEA-152093) 2016-02-24 21:05:13 +01:00
Anna Kozlova
c6d354b962 replace with collect: collapse lambda to method reference in filters (IDEA-151491) 2016-02-24 13:12:24 +01:00
Anna Kozlova
f8e59f5965 not a statement -> declaration not allowed here (IDEA-152090) 2016-02-24 13:12:24 +01:00
Anna Kozlova
9332f88d1a anonymous -> lambda: skip fields with qualified refs to another fields of the same class (IDEA-151954) 2016-02-22 20:05:58 +01:00
Anna Kozlova
930df16f98 inference: propagate variable renames through the call hierarchy; calculate tooltips in tests (IDEA-151948) 2016-02-22 20:05:58 +01:00
Anna Kozlova
f09865ef1d convert to diamonds: raise a problem if containing method can't be resolved (IDEA-151540) 2016-02-22 15:59:38 +01:00
Anna Kozlova
f9d49fa1f4 convert to diamonds: take care of java 8 inference, check on non-physical elements (IDEA-151559) 2016-02-22 15:59:38 +01:00
Anna Kozlova
8b16402ca3 overload resolution: proceed with additional constraints when qualifier type is calculated (IDEA-151409) 2016-02-19 19:18:43 +01:00
Anna Kozlova
779d43a6df testdata for IDEA-151823 2016-02-19 19:18:43 +01:00
Anna Kozlova
ef90033b1a testdata 2016-02-18 19:47:21 +01:00
Anna Kozlova
4475c9c72a testdata for IDEA-151777 2016-02-18 16:31:20 +01:00
Alexey Kudravtsev
86b6ee7f18 folowup to IDEA-149950: changed "package local" to JLS-conformant "package-private" 2016-02-18 13:53:04 +03:00
Anna Kozlova
fb42498c99 method chain: capture wildcard on wildcard bounds 2016-02-17 17:24:41 +01:00
Anna Kozlova
0ac147ad95 inference: check glb with captured wildcard: if not assignable check if it is an interface 2016-02-17 17:24:41 +01:00
Anna Kozlova
42d50e32fe testdata for IDEA-150688 2016-02-17 14:44:12 +01:00
Anna Kozlova
17743c0a87 unchecked warning: mark as unchecked if passed to strict subtyping (IDEA-151302) 2016-02-17 14:44:12 +01:00
Alexey Kudravtsev
05de8796ca IDEA-149950 Bad typo in "Declaration access can be weaker" inspection 2016-02-17 14:38:41 +03:00
Anna Kozlova
7dd0db8963 captured wildcard: access object should be placed to the same package (IDEA-151766) 2016-02-16 18:15:03 +01:00
Anna Kozlova
8fdf37e038 inference: skip unchecked warning for types based on inference variables (IDEA-151761) 2016-02-16 18:15:03 +01:00
Anna Kozlova
a530fe132f inference: don't erase inference variables (IDEA-151750) 2016-02-16 15:57:18 +01:00
Anna Kozlova
abd1b44e85 redundant args: copy the file to avoid incompleted psi 2016-02-16 15:57:18 +01:00
Anna Kozlova
7a671c53f8 stream api: fix primitive boxing (IDEA-151494) 2016-02-15 15:49:06 +01:00
Anna Kozlova
b424316b32 disable static import suggestions for references resolved with incomplete flag = true (IDEA-151264) 2016-02-15 15:49:06 +01:00
Bas Leijdekkers
6e43997abd add quickfix for non-disjoint multi-catch 2016-02-12 21:30:28 +01:00
peter
97c4d325e2 IDEA-151356 Simplifying known true/false conditions should remove unnecessary parentheses 2016-02-10 12:39:19 +01:00
Anna Kozlova
b4d2e26d84 fix assertion with code block lambda 2016-02-09 20:09:10 +01:00
Anna Kozlova
1f640238e0 inference: retrieve type from containing call if the corresponding method is not generics (IDEA-151443) 2016-02-09 20:09:10 +01:00
Anna Kozlova
e3f5740e07 captured wildcard: convert to primitive (IDEA-151408) 2016-02-09 12:41:01 +01:00
Anna Kozlova
5793ec77ed retrieve collection type from capture in foreach stmt (IDEA-151406) 2016-02-09 12:41:01 +01:00
Anna Kozlova
ff21fd0ea5 calculate transitive inference variable's dependencies (IDEA-151170) 2016-02-03 16:10:26 +03:00
Anna Kozlova
e7c7fab136 stop at lambda also if it is explicitly typed
EA-78231 - SOE: InferenceSessionContainer.infer
2016-02-03 12:39:27 +03:00
Anna Kozlova
a6625994fb overload resolution: don't skip errors from another context (IDEA-151119) 2016-02-02 14:38:40 +03:00
peter
473384bbf6 java 8 completion: suggest Collectors toList/toSet/toCollection in statement context 2016-02-01 18:16:21 +01:00
Anna Kozlova
ea9e4ba63c method reference on getClass: fix method reference constraint 2016-02-01 16:53:20 +03:00
Anna Kozlova
bd2113b739 lambda -> method ref: avoid Object::getClass as the type depends on qualifier (IDEA-150967) 2016-02-01 16:53:20 +03:00
Anna Kozlova
7bbd70e695 substitute with bounds promotion: don't wrap wildcards 2016-02-01 16:53:20 +03:00
Anna Kozlova
e6357ca1dd method refs: fix getClass() return type in case of method references 2016-02-01 16:53:20 +03:00
Anna Kozlova
70e66b80fb method references: remove code duplication in return type checks 2016-01-29 21:23:38 +03:00
Anna Kozlova
62bdd90f58 anonym -> lambda: check inferred type in the same context (IDEA-150947) 2016-01-28 18:50:28 +03:00
Anna Kozlova
c06f66ab26 SOE with numeric conditional expressions when expression inside is not standalone
EA-78419 - SOE: InferenceSessionContainer.infer
2016-01-27 13:57:06 +03:00
Anna Kozlova
ec89fa2295 type distinction: remove non-symmetrie for type param bounds (IDEA-150724) 2016-01-27 13:57:06 +03:00
Anna Kozlova
a035c14d75 overload resolution: don't include constraints on functional expressions into applicability check during overload resolution (IDEA-150745) 2016-01-26 17:30:03 +03:00
Anna Kozlova
7c708a0eac EA-78369 - NPE: PsiDiamondTypeImpl$InferredAnonymTypeVisitor.visitClassType 2016-01-26 17:30:03 +03:00
Anna Kozlova
a166bd1059 overload resolution: infer most specific agains formal param types substituted against site substitutor, including param bounds (IDEA-150773) 2016-01-25 18:52:15 +03:00
Anna Kozlova
7b2e554b0a inference: cache erasure flag together with partial inference (IDEA-150802) 2016-01-25 18:52:15 +03:00
Anna Kozlova
883f7f3f39 overload resolution: apply site substitution before potential compatibility check (IDEA-150807) 2016-01-25 18:52:15 +03:00
peter
72bed0ac68 IDEA-145145 Code Completion does not work properly in Collectors.toMap 2016-01-25 14:25:50 +01:00