 Anna.Kozlova
|
968d14a5db
|
Revert testdata changes: Proper focus requests through the IDE focus subsystem. Part II.
|
2017-02-21 21:25:26 +01:00 |
|
 Denis Fokin
|
556290b406
|
Proper focus requests through the IDE focus subsystem. Part II.
|
2017-02-21 21:06:22 +03:00 |
|
|
Anna.Kozlova
|
4a405a6bcd
|
unchecked warning inside lambda return statements
|
2017-02-06 13:34:48 +01:00 |
|
|
Anna.Kozlova
|
9d9c62523d
|
warn about static methods in interface with same erasure (IDEA-165927)
|
2016-12-27 14:47:58 +01:00 |
|
|
Anna.Kozlova
|
d336733d3e
|
ensure bounds are promoted on derived type otherwise bounds from super could appear on unbounded wildcards (IDEA-162882)
|
2016-11-02 15:51:14 +01:00 |
|
|
Anna.Kozlova
|
f26364eca1
|
new inference: erasure of type parameters with proper bounds (IDEA-162544)
|
2016-10-19 19:17:33 +02:00 |
|
|
Anna Kozlova
|
92e17eed9c
|
substitute type parameter bounds with current substitution when method signatures in the hierarchy are checked (IDEA-159801)
|
2016-09-15 18:35:33 +03:00 |
|
|
Anna.Kozlova
|
1839e42715
|
treat captured wildcard type as type parameter type with special upper bound (IDEA-159663)
|
2016-08-12 11:06:57 +02:00 |
|
|
Anna Kozlova
|
a714c0d820
|
unchecked cast warning: missed captured wildcards (IDEA-158080); reifiable captured wildcard type
|
2016-07-01 12:44:39 +03:00 |
|
|
Anna Kozlova
|
79edaf45af
|
erasure of method call expression type if method is not generics but unchecked conversion was needed to check the applicability (IDEA-157223)
|
2016-06-14 11:34:32 +03:00 |
|
|
Anna Kozlova
|
cb071c57a6
|
reject imports from default package (IDEA-138822; IDEA-154024)
|
2016-06-06 20:12:56 +03:00 |
|
|
Anna Kozlova
|
49816aeded
|
resolve on nested captures (IDEA-156170)
|
2016-05-26 18:56:33 +03:00 |
|
|
Anna.Kozlova
|
5f72c7380c
|
array access: don't open captured wildcards
|
2016-04-20 17:49:29 +02:00 |
|
|
Anna.Kozlova
|
1466b0155e
|
bad code green: reject return type constraint if unchecked conversion was applied during applicability check and return type is type parameter
|
2016-04-11 21:51:18 +02:00 |
|
|
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 |
|