 Anna Kozlova
|
c00d3d7371
|
revert (IDEA-152685)
|
2016-03-14 17:48:06 +01:00 |
|
|
Anna Kozlova
|
e31a812438
|
inference: unchecked warning in type params bounds (IDEA-152758)
|
2016-03-14 17:48:06 +01:00 |
|
|
Anna Kozlova
|
db215203e0
|
inference for non-poly expressions: isAssignable already contains loose context inside, don't allow any additional conversions (IDEA-152694)
|
2016-03-09 14:23:53 +01:00 |
|
|
Anna Kozlova
|
1712529e42
|
testdata for IDEA-152179
|
2016-02-26 16:06:22 +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
|
fb42498c99
|
method chain: capture wildcard on wildcard bounds
|
2016-02-17 17:24:41 +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
|
7dd0db8963
|
captured wildcard: access object should be placed to the same package (IDEA-151766)
|
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
|
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
|
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
|
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
|
d0102e37cb
|
captured wildcards: fix casting to arrays (IDEA-150124)
|
2016-01-07 20:14:48 +01:00 |
|
|
Anna Kozlova
|
81a6cceb35
|
fix casting to primitives according to the spec (IDEA-131107; IDEA-148880)
|
2015-12-10 17:01:55 +01:00 |
|
|
Anna Kozlova
|
be223c2734
|
testdata for IDEA-139096
|
2015-12-09 18:49:28 +01:00 |
|
|
Anna Kozlova
|
dd38082794
|
least upper bound: pull unbounded wildcard up so types Number & Comparable<? extends Number & Comparable<?>> are produced instead of Number & Comparable<? extends Comparable<?>>
inferred type in bounds check cleanup: accept that inference result is not within its bounds and give the inference the second chance
|
2015-12-09 11:25:11 +01:00 |
|
|
Anna Kozlova
|
6e241e1168
|
testdata
|
2015-12-07 12:29:56 +01:00 |
|
|
Anna Kozlova
|
f6f2b83801
|
testdata for IDEA-146897
|
2015-12-07 10:35:33 +01:00 |
|
|
Anna Kozlova
|
f55279387c
|
recursive types capture: avoid capture comparison during glb computation (IDEA-57379; IDEA-139167; IDEA-139157)
|
2015-12-07 10:35:33 +01:00 |
|
|
Anna Kozlova
|
32147c73e1
|
type distinction tweak (IDEA-134960)
|
2015-12-03 19:11:09 +01:00 |
|
|
Anna Kozlova
|
3aa29923c6
|
provide access object for captured wildcards (IDEA-128542)
|
2015-12-03 15:27:26 +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
|
5ed0c728a2
|
testdata for IDEA-56754
|
2015-12-02 17:56:08 +01:00 |
|
|
Anna Kozlova
|
8a1085dac4
|
testdata for IDEA-131686
|
2015-12-02 15:42:02 +01:00 |
|
|
Anna Kozlova
|
65d35615df
|
testdata for IDEA-139169
|
2015-12-02 15:42:02 +01:00 |
|
|
Anna Kozlova
|
43e825eef9
|
testdata for IDEA-139156
|
2015-12-02 15:42:02 +01:00 |
|
|
Anna Kozlova
|
414454d4b7
|
testdata for IDEA-139222
|
2015-12-02 15:42:02 +01:00 |
|
|
Anna Kozlova
|
bb5f40c196
|
testdata for IDEA-134059
|
2015-12-02 15:42:02 +01:00 |
|
|
Anna Kozlova
|
e6162ed1fa
|
testdata for IDEA-148361
|
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
|
9308c52a3d
|
captured wildcards: check upper bound first
|
2015-12-01 10:04:46 +01:00 |
|
|
Anna Kozlova
|
621795bbee
|
isApplicability check based on pertinentToApplicability
|
2015-11-30 15:11:41 +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
|
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
|
cbbd0e4456
|
detect array initializer type based on short variable array notation (IDEA-147881)
|
2015-11-13 16:07:17 +01:00 |
|
|
Anna Kozlova
|
a45937536a
|
unchecked warnings: check inferred type against bounds for java > 1.8 (IDEA-147529)
|
2015-11-10 18:45:36 +01:00 |
|
|
Anna Kozlova
|
e32dfdfa8a
|
UnsupportedOperationException
|
2015-10-15 15:02:50 +02:00 |
|
|
Anna Kozlova
|
f29517700f
|
highlight type parameter extends list errors: check once for all refs in refList not to repeat ourselves
|
2015-10-14 11:12:30 +02:00 |
|
|
Anna Kozlova
|
aba9734a6b
|
testdata for IDEA-107713
|
2015-09-04 14:10:37 +03:00 |
|
|
Anna Kozlova
|
05ae98b10d
|
testdata for IDEA-93713
|
2015-09-04 14:10:31 +03:00 |
|
 Alexey Kudravtsev
|
9e99eabbb6
|
IDEA-141923 Errors in for-each statement header aren't highlighted if there're errors in its body
|
2015-06-26 14:42:13 +03:00 |
|
|
Anna Kozlova
|
92b7fa01c4
|
captures: don't distinguish captures from normal types but leave capture for the same type wildcard
|
2015-06-14 21:51:21 +03:00 |
|
|
Anna Kozlova
|
7b0c5b6d05
|
new inference: check equals/upper/low bounds consistency
|
2015-05-29 14:48:27 +02:00 |
|
|
Anna Kozlova
|
cdb50293f2
|
capture conversion: ensure captured wildcards are not replaced after creation, so substitution is consistent; at the same time ensure that "?" with upper bound Runnable is equivalent to "? extends Runnable"
|
2015-05-28 19:42:11 +02:00 |
|
|
Anna Kozlova
|
d2c76135df
|
testdata for IDEA-67592
|
2015-05-21 10:00:45 +02:00 |
|
|
Anna Kozlova
|
e529861e4a
|
testdata for IDEA-67746
|
2015-05-21 10:00:44 +02:00 |
|