 Anna.Kozlova
|
b59ffe20e4
|
type arguments in bounds check: ensure capture conversion (IDEA-175899)
|
2017-07-18 19:13:24 +02:00 |
|
|
Anna.Kozlova
|
4e8a0d2dd8
|
don't loose type parameter bounds during super substitution (IDEA-175471)
|
2017-07-07 12:54:58 +02:00 |
|
 Roman Shevchenko
|
298539fae0
|
[java] highlighting on generic throw types (IDEA-175073)
|
2017-06-30 16:03:26 +02:00 |
|
|
Anna Kozlova
|
a5501a81c0
|
incompatible return types in hierarchy fixed (IDEA-173809)
take parameter bounds into account
|
2017-06-05 20:14:44 +03:00 |
|
 Alexey Kudravtsev
|
920d5b4fba
|
removed default file header, because it adds no information but subtracts attention and space
|
2017-05-11 13:39:07 +03:00 |
|
|
Anna.Kozlova
|
e75f2f7860
|
make message closer to javac error (IDEA-169865)
|
2017-03-21 12:18:45 +01:00 |
|
|
Anna.Kozlova
|
92d60ede85
|
enclosing instance check: don't check the inheritance for the class with extends/implements itself
|
2017-03-08 19:15:20 +01:00 |
|
|
Anna.Kozlova
|
0fa0b96dc6
|
no enclosing instance error for top level classes (IDEA-169088)
|
2017-03-08 12:37:00 +01:00 |
|
|
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
|
ccda645376
|
raise unchecked warning when captured wildcard is assigned (IDEA-167393)
|
2017-02-07 13:26:04 +01:00 |
|
|
Anna.Kozlova
|
e3352b820f
|
method signature: don't substitute twice during erasure (IDEA-167386)
|
2017-02-01 15:47:45 +01:00 |
|
|
Anna Kozlova
|
0fe652059e
|
reifiable types: skip anonymous types through the tree hierarchy as they can't be generic (IDEA-166840)
|
2017-01-20 15:51:24 +03:00 |
|
|
Anna Kozlova
|
65ac360725
|
javac 1.7 bug workaround: give error for language level 1.7 despite of java 1.8 would compile the code (IDEA-166358)
|
2017-01-12 12:02:35 +01:00 |
|
|
Anna.Kozlova
|
977c4cc924
|
clashing return type of overriding methods: fix unchecked override comparison (IDEA-166355)
|
2017-01-10 15:43:36 +01:00 |
|
|
Anna.Kozlova
|
c376fa7e97
|
type arguments containment: ensure arrays are contained in type parameters with Serializable, Cloneable or Object bounds (IDEA-165295)
|
2016-12-13 17:46:28 +01:00 |
|
|
Anna.Kozlova
|
08c5a244c3
|
reigiable local classes inside static methods (IDEA-163615)
|
2016-11-07 18:56:11 +01:00 |
|
|
Anna Kozlova
|
7e74904509
|
testdata
|
2016-06-27 12:33:28 +03:00 |
|
|
Anna Kozlova
|
7968b2bbbb
|
apply capture conversion for captured wildcard bound according to the direct supertype of parameterized type specification (IDEA-157586)
|
2016-06-22 15:24:15 +03:00 |
|
|
Anna Kozlova
|
1c52cb7fd6
|
spec: no capture conversion applicable for array type; capture conversion must be applied for array access expression type; javac: no capture conversion is applicable for array access expressions with write access (IDEA-157295)
|
2016-06-22 15:24:15 +03:00 |
|
|
Anna Kozlova
|
732c04076c
|
old inference (IDEA-157398)
|
2016-06-22 15:24:15 +03:00 |
|
|
Anna Kozlova
|
cb071c57a6
|
reject imports from default package (IDEA-138822; IDEA-154024)
|
2016-06-06 20:12:56 +03:00 |
|
|
Anna.Kozlova
|
7fb3086dc5
|
assignability to primitive: check type parameter bounds if applicable (IDEA-155551)
|
2016-05-04 11:09:25 +02:00 |
|
|
Anna.Kozlova
|
5f72c7380c
|
array access: don't open captured wildcards
|
2016-04-20 17:49:29 +02:00 |
|
|
Anna.Kozlova
|
ee4f41b14c
|
don't open captures on type computation (IDEA-154968)
|
2016-04-20 17:49:29 +02:00 |
|
|
Anna.Kozlova
|
b1a0d687df
|
old inference: include type parameter's bounds in result as intersection if inference from parent type was started (IDEA-153411)
|
2016-03-22 19:22:42 +01:00 |
|
|
Anna Kozlova
|
65ebda0fff
|
SOE with recursive type parameter dependencies
|
2016-03-15 13:31:13 +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
|
7bbd70e695
|
substitute with bounds promotion: don't wrap wildcards
|
2016-02-01 16:53:20 +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
|
88876357c6
|
testdata for IDEA-150499
|
2016-01-20 12:36:55 +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
|
c16e402bed
|
return type equivalence: compare supers with current method (IDEA-147335)
|
2016-01-07 20:14:48 +01:00 |
|
|
Anna Kozlova
|
8edd7a4cf5
|
method hierarchy: don't merge methods with return types which are not substitutable (IDEA-57393)
|
2015-12-14 10:30: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
|
92487fe273
|
assignment: stop bounds promotion inside nested wildcards (IDEA-139161)
|
2015-12-09 18:49:28 +01:00 |
|
|
Anna Kozlova
|
c66efb2458
|
testdata for IDEA-130243
|
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
|
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
|
f07899641d
|
fix testdata
|
2015-11-25 12:25:02 +01:00 |
|
|
Anna Kozlova
|
44f26da2bc
|
type arguments distinct checker: do not distinguish wildcards with array bounds from arrays with corresponding bounds (IDEA-134944)
|
2015-11-12 20:14:15 +01:00 |
|
|
Anna Kozlova
|
4916734a24
|
reifiable type check fixed for local classes; instanceof check to use the same algorithm (IDEA-146352; IDEA-146351)
|
2015-10-14 17:05:36 +02:00 |
|
|
Anna Kozlova
|
9919e9d7dc
|
testdata for IDEA-130453
|
2015-10-05 11:51:33 +02:00 |
|
|
Anna Kozlova
|
2d27bff5ad
|
remove too smart wildcards assignments checks (IDEA-138957)
|
2015-10-05 11:51:29 +02:00 |
|
|
Anna Kozlova
|
0f24b5bae9
|
testdata for IDEA-81318
|
2015-09-03 20:31:05 +03:00 |
|
|
Anna Kozlova
|
b22c0040f7
|
testdata for IDEA-98866
|
2015-09-03 20:31:01 +03:00 |
|
|
Anna Kozlova
|
77ae5909c9
|
IDEA-144117
|
2015-08-20 19:31:07 +02: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
|
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 |
|