Commit Graph

1005 Commits

Author SHA1 Message Date
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
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
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
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
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
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
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
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
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
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
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
Anna Kozlova
097d08f04e remove unused parts of test data 2016-01-22 14:29:01 +03:00
Anna Kozlova
a3c0c965fb inference incorporate optimization: avoid eq bounds propagation (IDEA-149952; IDEA-144822) 2016-01-19 20:46:08 +01:00
Anna Kozlova
0d1cca1cd1 inference: force incorporation after reduce 2016-01-19 20:46:08 +01:00
Anna Kozlova
15f3eac8a2 inference:incorporation optimization: skip variable's bound incorporation if the phase didn't change these bounds 2016-01-19 12:56:50 +01:00
Anna Kozlova
0926ee29c1 TypeName.super checks for classes fixed (IDEA-150141) 2016-01-14 18:42:40 +01:00
Anna Kozlova
ae64c30eb9 inference: ensure to convert disjunction type to lub (IDEA-150364) 2016-01-14 16:18:20 +01:00
Anna Kozlova
b56e7e0c20 change signature: propagate parameters change to lambda expressions (IDEA-150138) 2016-01-13 16:54:58 +01:00
Anna Kozlova
3baa03058b overload resolution: ensure all list of parameters is checked during most specific check of varargs methods (IDEA-150224) 2016-01-11 16:36:11 +01:00
Anna Kozlova
31c6b67ce6 inference: stop tree up traversal when lambda expression is currently checked
EA-76546 - assert: InferenceSessionContainer.treeWalkUp
IDEA-150168; IDEA-150166
2016-01-08 20:15:17 +01:00
Anna Kozlova
99e4c75ee7 inherit unrelated abstract/default through hierarchy: don't merge methods with not override equivalent signatures (IDEA-146135) 2016-01-07 16:06:39 +01:00
Anna Kozlova
df3e5be8cb inherit unrelated abstract/default through hierarchy (IDEA-146070) 2016-01-07 16:06:39 +01:00
Anna Kozlova
a25cb73db1 inherit abstract/default when inheritor provides substitutor which makes 2 different methods in the super hierarchy override equivalent (IDEA-140490; IDEA-146056) 2016-01-07 16:06:39 +01:00
Anna Kozlova
88586f6ab9 method refs: captured wildcard at receiver position
EA-77434 - assert: PsiMethodReferenceCompatibilityConstraint.getParameterizedTypeSubstitutor
2016-01-04 19:25:03 +01:00
Anna Kozlova
105f33870f method references with qualifier with captured wildcard type: retrieve upper bound as it is done for method calls 2015-12-30 18:56:58 +01:00
Anna Kozlova
6aa61227df method reference: replace raw substitutor from second search with inferred substitutor and don't forget super class substitution (IDEA-149488) 2015-12-30 15:29:56 +01:00
Anna Kozlova
242cd356a7 method reference: additional diagnostics for invalid method references (IDEA-149688) 2015-12-29 16:46:58 +01:00
Anna Kozlova
210217ecfa new inference: already resolved vars can't have bounds problems (IDEA-149740) 2015-12-29 16:46:58 +01:00
Anna Kozlova
46ce9ed914 testdata for IDEA-149774 2015-12-28 19:07:22 +01:00
Anna Kozlova
c4711f94ef testdata for IDEA-149709 2015-12-28 19:07:22 +01:00
Anna Kozlova
adaa0f09b7 new inference: pull erased flag through nested calls (IDEA-133613) 2015-12-28 19:07:22 +01:00
Anna Kozlova
2be1c64a13 new inference: correct capture incorporation (IDEA-149807) 2015-12-28 19:07:22 +01:00
Anna Kozlova
29e713bb7e testdata for IDEA-149670 2015-12-28 14:57:27 +01:00
Anna Kozlova
d9aeacbf48 overload resolution: don't prefer generic to raw substitution (IDEA-149289) 2015-12-28 10:27:00 +01:00
Anna Kozlova
aa70efc9a4 testdata for IDEA-149224 2015-12-28 10:27:00 +01:00
Anna Kozlova
132bb137a1 don't show error on method reference if functional expression is located inside invalid context without target functional type 2015-12-10 19:52:16 +01:00