Commit Graph

2115 Commits

Author SHA1 Message Date
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
Rustam Vishnyakov 7144e23b77 Fix test data (default color for class/interface names is black, not undefined) 2016-01-22 18:48:26 +03:00
Anna Kozlova 097d08f04e remove unused parts of test data 2016-01-22 14:29:01 +03:00
Anna Kozlova f2a0fbd694 retrieve inference errors from containing calls as they themselves won't be highlighted as there are errors in arguments (IDEA-150123) 2016-01-22 14:29:01 +03:00
Anna Kozlova 5d70440851 foreach -> collect: simplify to addAll on collections if no filter/mapper is present (IDEA-150515) 2016-01-22 14:29:01 +03:00
peter 55f0e703e7 update dfa intention test expectations after IDEA-149904 2016-01-21 20:22:23 +01:00
peter b3c40ee773 dfa: highlight just method reference name on possible NPE warnings (IDEA-149904) 2016-01-20 16:47:53 +01:00
Roman Shevchenko d8b29b8401 [java] connect resolution of generics in resource closer method (IDEA-150607) 2016-01-20 12:43:56 +01:00
Anna Kozlova 88876357c6 testdata for IDEA-150499 2016-01-20 12:36:55 +01:00
Anna Kozlova 7e15b3fb59 inference: raise unchecked warning if low/equals bounds are not assignable without unchecked conversion (IDEA-150495) 2016-01-20 12:36:55 +01: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 59f416b7d4 replace hardcoded clone with protected methods of Object (IDEA-150196) 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 f7bbd49f75 (on-the-fly) static import of constant 2016-01-13 16:54:58 +01:00
Anna Kozlova 1b3ce12a93 anonym -> lambda: accept refs to initialized final fields in classes inside constructors (IDEA-150322) 2016-01-13 16:54:58 +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 aad1c273e1 trivial functional expressions usage: inline args if provided (IDEA-131090) 2016-01-12 16:23:25 +01:00
Anna Kozlova e39f57a94e trivial functional expressions usage: replace anonymous 2016-01-12 16:23:25 +01:00
Anna Kozlova fee6bc1ba5 trivial functional expressions usage (IDEA-131090) 2016-01-12 13:45:16 +01:00
Anna Kozlova a2c90af6b3 trivial method reference inspection (IDEA-123298) 2016-01-11 20:19:54 +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 d0102e37cb captured wildcards: fix casting to arrays (IDEA-150124) 2016-01-07 20:14:48 +01:00
Anna Kozlova c16e402bed return type equivalence: compare supers with current method (IDEA-147335) 2016-01-07 20:14:48 +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 e32cc02725 inherit unrelated concrete methods with same signature error (IDEA-67838) 2016-01-07 16:06:39 +01:00
Anna Kozlova 01fc1dc40f lambda -> method ref: make cast type denotable (IDEA-134217) 2016-01-04 19:25:03 +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 82773c69e0 redundant explicit types: available inside nested calls for java 8 (IDEA-134160) 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