Commit Graph
1911 Commits
Author SHA1 Message Date
Anna Kozlova eb638c67d7 testdata for IDEA-133920 2015-09-03 17:22:29 +03:00
Anna Kozlova 8f4768f3b3 testdata for IDEA-136401 2015-09-03 17:22:27 +03:00
Anna Kozlova f1919cf246 testdata for IDEA-144386 2015-09-03 17:22:25 +03:00
Anna Kozlova 3893b9f6d4 new inference: collect additional constraints from lambda return expressions when lambda parameters are already fixed; process constraints without input variables before others, so their 'return' expressions could influence next rounds; testdata (IDEA-144596) 2015-09-03 17:22:22 +03:00
Anna Kozlova 984b65ef65 new inference: incorporation with capture: treat type param's extends bounds as one as glb (IDEA-142145) 2015-09-02 17:04:31 +03:00
Anna Kozlova 9a7d951e1e new inference: caching resolve result during getTargetType inference (IDEA-142733; IDEA-140035; IDEA-133385) 2015-09-02 17:04:29 +03:00
Anna Kozlova ed06d3ff72 preserve captured wildcards during non wildcard parameterization (IDEA-132690) 2015-09-01 16:30:52 +03:00
Anna Kozlova 21e2fd41c0 non wildcard parameterization: workaround problems caused by different parameterizations of the same class during glb algorithm (IDEA-132690) 2015-09-01 16:30:50 +03:00
Anna Kozlova 14cfc1680c unrelated defaults false negative (IDEA-144518) 2015-08-31 19:09:55 +03:00
Anna Kozlova 2df4481722 fix intersection types in receiver position (IDEA-144472) 2015-08-31 19:09:52 +03:00
Anna Kozlova 3d96977c2c unreachable code: qualified fields and array access in assignments (IDEA-144428) 2015-08-28 18:33:15 +03:00
Bas Leijdekkers d57591cd2c IDEA-142912 (Intention: replace switch with if failed with bit operator (operator precedence)) 2015-08-27 17:45:58 +02:00
Anna Kozlova ad99c2d9b5 anonymous -> lambda: cast if overload would fail (IDEA-144372) 2015-08-27 11:19:30 +03:00
Anna Kozlova 6144008d26 disable lambda -> meth ref if qualifier is not pure (IDEA-139825) 2015-08-26 16:23:35 +03:00
Anna Kozlova 98408c72f6 overload resolution: reject more specific inference contradicting site substitution 2015-08-26 12:08:47 +03:00
Alexander Zolotov b0b31e7d50 IDEA-62743 Render issue links in Java comments 2015-08-25 16:46:27 +03:00
Anna Kozlova c97e700f4f EA-72085 - NPE: ChangeToAppendUtil.buildAppendExpression 2015-08-24 20:00:17 +03:00
Anna Kozlova 7cf142b351 make method return fix: make available for constructor calls; java 8 specific tests; simplify inference 2015-08-20 21:47:30 +02:00
Anna Kozlova 77ae5909c9 IDEA-144117 2015-08-20 19:31:07 +02:00
Anna Kozlova a93ad570ca semantic cast to &Serializable for functional expressions is not redundant even if expression is inside parenthesis (IDEA-143922) 2015-08-20 19:31:05 +02:00
Anna Kozlova c0de8d22c6 new inference: reject array upper bounds which contradict with another class type bound (IDEA-144159) 2015-08-20 19:31:03 +02:00
Anna Kozlova 08c0a88251 functional type: find common super type of intersection type's conjuncts (IDEA-144145) 2015-08-20 16:01:58 +02:00
Anna Kozlova 8a071c3f74 fix method return type for vararg calls (EA-71978 - IAE: PsiOldInferenceHelper.inferTypeArguments) 2015-08-20 10:06:09 +02:00
Anna Kozlova 3b3bf18b69 suggest to fix return type based on args of method call in return stmt (IDEA-140894) 2015-08-19 12:34:41 +02:00
Anna Kozlova 6b08a2da04 testdata for IDEA-140035 2015-08-19 12:34:39 +02:00
Anna Kozlova 4518420113 don't correct substitution if not applicable, e.g. for unresolved functional types 2015-08-18 19:15:37 +02:00
Anna Kozlova a1601f1d22 deoptimize so overriding methods from object marked as abstract won't get lost (IDEA-143141) 2015-08-18 12:34:42 +02:00
Anna Kozlova c97ce52826 formal varargs not accessible check (jls) 2015-08-18 12:34:40 +02:00
Anna Kozlova 0da30526fd error for not accessible types mentioned by inferred functional type (IDEA-143417) 2015-08-18 12:34:31 +02:00
Anna Kozlova 676c477fab overload resolution: symmetry (IDEA-143310) 2015-08-18 12:34:29 +02:00
Anna Kozlova bbda6d8b02 fix operation assignment (IDEA-143986) 2015-08-17 14:54:35 +02:00
Anna Kozlova 8c2a945f80 testdata for IDEA-143390 2015-08-12 08:14:31 -07:00
Bas Leijdekkers 59f25f9789 generate default method and improved text & description for "delegated method with default parameter value" intentions 2015-08-08 21:54:24 +02:00
Anna Kozlova 1df6b8e711 new inference: ensure erased target type if substitutor was raw (IDEA-143183) 2015-07-29 10:02:59 +02:00
nik 3338d30023 add dependency on external library quick-fix: API simplified, duplicated code removed 2015-07-29 08:31:13 +03:00
Alexey Kudravtsev 59e0751e2c cleanup 2015-07-24 16:54:15 +03:00
Roman Shevchenko fe7ba298f6 Merge remote-tracking branch 'origin/master' 2015-07-22 18:26:08 +02:00
Roman Shevchenko cff7efd5d1 [java] since Java 9, underscore identifiers are completely prohibited (IDEA-132278) 2015-07-22 18:23:28 +02:00
Roman Shevchenko f7f0a5c0c4 [java] adds support for Java 9's improved try-with-resources (IDEA-140266)
PSI, parser, highlighting, exception analysis, control flow, completion.
2015-07-22 16:28:39 +02:00
Anna Kozlova 3a9f429d3e method references on lambda parameters for incomplete code (EA-66008 - assert: InferenceSession.collectApplicabilityConstraints) 2015-07-22 12:34:09 +02:00
Anna Kozlova 7677f61dc5 invalid annotation type detection based on type element (IDEA-142884) 2015-07-21 18:36:10 +02:00
Roman Shevchenko 8d620bf87f Merge remote-tracking branch 'origin/master' 2015-07-21 09:17:29 +02:00
Anna Kozlova 75e3086fb2 lambda -> meth ref: reject replacements with invalid qualifiers (IDEA-142695) 2015-07-21 08:51:06 +02:00
Roman Shevchenko 32a6761ede Cleanup (i18n; text corrected) 2015-07-20 12:06:25 +03:00
Roman Shevchenko de416d4f7f Cleanup (test moved to a correct location) 2015-07-18 23:13:56 +03:00
Anna Kozlova 7bec688369 lambda: don't reject value compatibility for lambdas with control flow problems inside (IDEA-142107) 2015-07-14 18:38:43 +03:00
Roman Shevchenko 106d1d5175 java: "Java X" language level for experimental features; T<any> wildcard support 2015-07-14 16:55:24 +03:00
Roman Shevchenko 83674908b6 IDEA-142416 (fixed parsing of annotated fully-qualified types in assignment statements) 2015-07-09 16:29:04 +03:00
Anna Kozlova 8a9e5ae9db A.super.field should not accept super interface (IDEA-140646) 2015-07-07 18:18:30 +03:00
Yaroslav Lepenkin 6731485cb8 Reformat with context on postponed formatting: fixed java test data 2015-07-07 17:24:09 +03:00