 anna
|
c97457bb07
|
testdata for IDEA-57650
|
2012-10-23 18:07:10 +02:00 |
|
|
anna
|
64ae8e711e
|
testdata for IDEA-57667
|
2012-10-23 18:07:09 +02:00 |
|
|
anna
|
0f807e9219
|
check reference type as type argument for constructor params (IDEA-57668)
|
2012-10-23 18:07:09 +02:00 |
|
|
anna
|
0a00c340b2
|
testdata for IDEA-67599
|
2012-10-23 18:07:08 +02:00 |
|
|
anna
|
c8f56fcb28
|
forbid type annotations on anonymous class creation with interface base class (IDEA-67598)
|
2012-10-23 18:07:07 +02:00 |
|
|
anna
|
b0db19229a
|
testdata for IDEA-67667
|
2012-10-22 21:10:51 +02:00 |
|
|
anna
|
ef61777e7f
|
testdata for IDEA-67678
|
2012-10-22 21:10:51 +02:00 |
|
|
anna
|
f75aa7d17b
|
testdata for IDEA-67672
|
2012-10-22 21:10:50 +02:00 |
|
|
anna
|
41636949ad
|
testdata for IDEA-67681
|
2012-10-22 21:10:49 +02:00 |
|
|
anna
|
47dd9e09cd
|
good code red: array access expr type should be treated as variable type (IDEA-67675)
|
2012-10-19 18:44:41 +02:00 |
|
|
anna
|
a444dcfa01
|
good code red:do not override calculated subst with raw (IDEA-67680)
|
2012-10-19 12:29:54 +02:00 |
|
|
anna
|
a40a08d1d9
|
good code red: leave empty subst when processing type params supers (IDEA-67680)
|
2012-10-18 21:40:03 +02:00 |
|
|
anna
|
78c8fe106b
|
static override: search method in superclass by method signature from derived (IDEA-93043)
|
2012-10-17 15:49:58 +02:00 |
|
|
Anna Kozlova
|
23120f5c8a
|
continue inference after raw type detected; report raw after all args were processed with raw result only (IDEA-92273)
|
2012-10-13 15:31:50 +02:00 |
|
|
anna
|
77590cf807
|
isReifiable should not check outer class type params for static inners
|
2012-10-04 17:21:05 +02:00 |
|
|
anna
|
e483d67491
|
good code red: do not apply the same substitutor twice - lead to problems when params depend recursively (IDEA-91866)
|
2012-09-21 16:50:12 +02:00 |
|
|
anna
|
51afcf78dc
|
generic array creation: check if component type is reifiable (IDEA-91743)
|
2012-09-18 16:09:45 +02:00 |
|
|
Anna Kozlova
|
fd644a7299
|
captured wildcards on the first level do not prevent binary operator to be applicable (IDEA-89640)
|
2012-09-14 14:54:24 +04:00 |
|
|
Anna Kozlova
|
87a2c4818d
|
class literal checks for parameterized type/type parameter (IDEA-89726)
|
2012-09-13 17:53:31 +04:00 |
|
|
Anna Kozlova
|
f66949fa6b
|
treat captured wildcards depends on nested level (IDEA-91481)
|
2012-09-13 17:01:11 +04:00 |
|
 Roman Shevchenko
|
4cbe87de02
|
Highlight misplaced reference parameter lists
|
2012-09-11 19:31:55 +04:00 |
|
|
Anna Kozlova
|
5d76e83d34
|
testdata for IDEA-89801
|
2012-08-07 20:17:03 +04:00 |
|
|
Anna Kozlova
|
2d2a52650c
|
testdata for IDEA-89771
|
2012-08-07 20:17:02 +04:00 |
|
|
Anna Kozlova
|
8e532ed732
|
illegal generics instanceof (IDEA-89765)
|
2012-08-06 12:41:58 +02:00 |
|
|
anna
|
03da4cdaa0
|
access for private members through type parameter bound is forbidden in jdk7 (IDEA-88895)
|
2012-08-01 16:54:10 +02:00 |
|
|
Anna Kozlova
|
55b7c0f4fe
|
testdata for IDEA-85887
|
2012-05-11 14:10:46 +04:00 |
|
|
anna
|
75c174955f
|
warn about private/static modifiers inside local classes (IDEA-85567)
|
2012-05-03 11:36:21 +02:00 |
|
|
anna
|
20a7302fcd
|
good code red: illegal generic type in instanceof fixed
|
2012-05-03 10:11:23 +02:00 |
|
|
anna
|
7c3f532d9c
|
do not create another capture when not necessary; capture should be the same when substitutor define such dependency (IDEA-57340; IDEA-5731)
|
2012-05-03 09:19:02 +02:00 |
|
|
anna
|
cf8ab78b59
|
testdata for IDEA-57339
|
2012-05-03 09:19:01 +02:00 |
|
|
anna
|
0ee759c3b8
|
test data fo IDEA-57337
|
2012-05-03 09:19:01 +02:00 |
|
|
anna
|
e8b5fad3f6
|
IDEA-84377: check for recursive bounds
|
2012-05-02 12:07:12 +02:00 |
|
|
anna
|
817fc5aae4
|
simlify ? super ? wildcard (IDEA-63765)
|
2012-04-19 12:41:39 +02:00 |
|
|
anna
|
ca8c474bf6
|
illegal generic type for instanceof checks (IDEA-76997)
|
2012-04-17 12:26:40 +02:00 |
|
|
anna
|
7a17222ff6
|
test data for (IDEA-70468)
|
2012-04-17 12:26:39 +02:00 |
|
|
anna
|
654f6cd973
|
replace <? extends Object> with <?> during substitution (IDEA-64775)
|
2012-04-16 14:24:33 +02:00 |
|
|
anna
|
0c15dccf23
|
good code red fixed
|
2012-04-16 14:24:32 +02:00 |
|
|
anna
|
9da3e3f81d
|
test data for IDEA-72912
|
2012-04-14 19:14:01 +02:00 |
|
|
anna
|
27b6395f89
|
fix inference for object type arg
|
2012-04-05 19:08:45 +02:00 |
|
|
anna
|
9242d62213
|
good code is red: wildcard should check the bound if any in order to prove difference (IDEA-63291)
|
2012-04-05 19:08:45 +02:00 |
|
|
anna
|
b706c5284e
|
testdata for IDEA-74899
|
2012-04-05 19:08:44 +02:00 |
|
|
anna
|
5e682f1319
|
good code is red: take bounds into account during types agree (IDEA-76283)
|
2012-04-05 12:12:38 +02:00 |
|
|
anna
|
dab1c48d59
|
additional testdata for inaccessible type params members from IDEA-66305
|
2012-04-05 09:57:05 +02:00 |
|
|
anna
|
3156fab144
|
jdk7 incompatibility: red good code is green: always check signature erasure equals for jdk7 (IDEA-66311)
add checks for param erasure for jdk6
|
2012-04-05 09:57:04 +02:00 |
|
|
anna
|
a4e23d3546
|
good code red: do not allow unchecked conversions on deeper wildcard levels (IDEA-80386)
|
2012-04-03 19:19:44 +02:00 |
|
|
anna
|
6719c86450
|
good code red: do not create ? super Object constraint as nothing would match (IDEA-77991)
|
2012-04-03 19:19:43 +02:00 |
|
|
anna
|
0a99721ccb
|
substitution should not expand captured unbounded type (IDEA-79360)
|
2012-03-30 11:11:07 +02:00 |
|
|
anna
|
6ea7222b14
|
ensure that cast won't be marked as redundant for jdk7 (IDEA-82002)
(is valid though for jdk6)
|
2012-03-29 20:04:23 +02:00 |
|
|
anna
|
8c852b28d5
|
unchecked warning: argument type doesn't depend on call substitutor (IDEA-82605)
|
2012-03-29 20:04:22 +02:00 |
|
|
anna
|
1563df17f1
|
red code is green wildcard problems ++(IDEA-66750;IDEA-75178;IDEA-73377)
|
2012-03-29 15:17:24 +02:00 |
|