 Anna Kozlova
|
1bece25b95
|
inference: when unchecked conversion was applied, resolve variables against raw substitutor
|
2016-08-17 13:53:02 +03:00 |
|
|
Anna.Kozlova
|
035b6d9d1f
|
lambda return type inconsistency: highlight all found errors (IDEA-158853)
|
2016-07-21 19:03:45 +02:00 |
|
|
Anna.Kozlova
|
107abaf891
|
good code red: applicability check for non-generic method requires types calculation
|
2016-05-20 21:44:12 +02:00 |
|
|
Anna.Kozlova
|
ce58f62d19
|
lambda.isValueCompatible should not cache inference results for calls inside lambda body as they may depend on incomplete top level inference where LambdaExpressionCompatibilityConstraint is reduced (IDEA-156311)
|
2016-05-20 18:52:45 +02:00 |
|
|
Anna.Kozlova
|
25352dce0b
|
avoid checks over not applicable methods (IDEA-156196)
|
2016-05-19 16:47:28 +02:00 |
|
|
Anna.Kozlova
|
3dd26b5936
|
testdata on partially raw types inferred by javac
|
2016-05-09 19:42:35 +02:00 |
|
|
Anna.Kozlova
|
e588d2285a
|
highlighting: don't add warning for nested lambda when problem is inside upper level (IDEA-155192)
|
2016-04-25 14:41:56 +02:00 |
|
|
Anna.Kozlova
|
ee4f41b14c
|
don't open captures on type computation (IDEA-154968)
|
2016-04-20 17:49:29 +02:00 |
|
|
Anna.Kozlova
|
320aeb7b5e
|
inference: erasure functional type for raw substitutors (IDEA-154759)
|
2016-04-14 20:59:13 +02:00 |
|
|
Anna.Kozlova
|
0ed05632ff
|
ensure non-initialized fields used inside lambdas are rejected if lambda is inside class initializer only (IDEA-154305)
|
2016-04-07 15:13:00 +02:00 |
|
|
Anna.Kozlova
|
2f0bfeb404
|
testdata for IDEA-153999
|
2016-04-01 16:53:23 +02:00 |
|
|
Anna.Kozlova
|
e6426783b4
|
new inference: forget nested states when expressions were processed second time (IDEA-153897)
|
2016-03-30 21:02:16 +02:00 |
|
|
Anna.Kozlova
|
0e808d9aff
|
highlight invalid method call: search for most probable argument-cause (IDEA-151202)
|
2016-03-24 15:58:41 +01:00 |
|
|
Anna.Kozlova
|
bf5cd076c1
|
new inference: avoid inferring partly raw types (in case of unchecked conversion resolve to eq/low bound or null if only upper is present) as these types won't be treated as wildcard parameterized ever (IDEA-150167)
|
2016-03-24 11:48:06 +01:00 |
|
|
Anna.Kozlova
|
ab7f16e4b9
|
testdata for IDEA-153284
|
2016-03-21 14:14:26 +01:00 |
|
|
Anna.Kozlova
|
53d3aa770c
|
inference: don't include constraints to resolve if input bounds have proper instantiation but depends on the output of another constraints (IDEA-153164)
|
2016-03-17 21:25:32 +01:00 |
|
|
Anna Kozlova
|
5b8e459686
|
lambda: proceed c-like arrays declarations in parameters for lambda with excplicit type declarations (IDEA-152690)
|
2016-03-09 14:23:53 +01:00 |
|
|
Anna Kozlova
|
6c5fc69ae9
|
inference: don't check bounds for variables which may depend on another variable with inconsistency bounds
|
2016-03-03 13:31:40 +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
|
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
|
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 |
|
|
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
|
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
|
210217ecfa
|
new inference: already resolved vars can't have bounds problems (IDEA-149740)
|
2015-12-29 16:46:58 +01:00 |
|
|
Anna Kozlova
|
c4711f94ef
|
testdata for IDEA-149709
|
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
|
aa70efc9a4
|
testdata for IDEA-149224
|
2015-12-28 10:27:00 +01:00 |
|
|
Anna Kozlova
|
7249fd8179
|
lambda: missed ground type for target functional type (IDEA-149053)
|
2015-12-09 22:03:56 +01:00 |
|
|
Anna Kozlova
|
65194fd5f0
|
testdata for IDEA-127215
|
2015-12-03 19:11:09 +01:00 |
|
|
Anna Kozlova
|
c16a53a9fb
|
do not open capture when method call type is calculated
|
2015-12-03 12:18:25 +01:00 |
|
|
Anna Kozlova
|
2bb333cd43
|
testdata for IDEA-136325
|
2015-12-02 15:42:02 +01:00 |
|
|
Anna Kozlova
|
3a669178f5
|
do not open captured wildcards on substitution; don't capture wildcards on getExtendsTypes for type parameters and their consequences
|
2015-12-02 10:17:29 +01:00 |
|
|
Anna Kozlova
|
e43fad4277
|
captured wildcards: don't open unpredictably, treat as type, not type argument (IDEA-148348)
|
2015-11-26 19:23:09 +01:00 |
|
|
Anna Kozlova
|
49dfdded70
|
new inference: don't push resolved vars in case of failed substitution
|
2015-11-24 10:30:21 +01:00 |
|
|
Anna Kozlova
|
138bd5a034
|
new inference: provide diagnostics on failed inference (strict subtyping constraints); don't resolve vars before incorporate - this way captures won't be opened too early
|
2015-11-24 10:30:21 +01:00 |
|
|
Anna Kozlova
|
be2db1f940
|
new inference: report inference errors of containing call for lambdas
|
2015-11-20 21:47:13 +01:00 |
|
|
Anna Kozlova
|
61f120b30e
|
new overload resolution: first check that collected methods are potentially compatible with args; for generic methods without specified type arguments this already means that they are applicable; for non generic methods (or raw method calls) expressions should be compatible with parameter types (formal parameter types = actual types as substitutor is known) (IDEA-147798)
|
2015-11-20 18:22:02 +01:00 |
|
|
Anna Kozlova
|
d32e6ec080
|
new inference: start inference from top to bottom; ensure getTargetType doesn't perform any inference; cache intermediate results
|
2015-11-19 10:47:21 +01:00 |
|
|
Anna Kozlova
|
0deaf6d6a5
|
recursive substitutors: additional constraints substitution should not repeat already performed substitution with site substitutor (IDEA-146841)
|
2015-10-26 18:56:03 +01:00 |
|
|
Anna Kozlova
|
7f043d56d1
|
testdata for IDEA-144840
|
2015-09-07 15:50:24 +03:00 |
|
|
Anna Kozlova
|
f741a6a366
|
testdata for IDEA-132253
|
2015-09-03 17:22:31 +03:00 |
|
|
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
|
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
|
0da30526fd
|
error for not accessible types mentioned by inferred functional type (IDEA-143417)
|
2015-08-18 12:34:31 +02: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 |
|
|
Anna Kozlova
|
30a12275a2
|
lambda: highlight containing method ambiguity on method name: this avoids lots of lines of lambda body to be highlighted and it would show errors even if lambda body contains errors actually caused by the ambiguity on the parent level (IDEA-141580)
|
2015-06-18 17:54:23 +03: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 |
|