 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 |
|
|
anna
|
24d2eeb3d0
|
service to detect java version;
highlight access to private class members according to java version used (IDEA-83045)
|
2012-03-29 11:06:43 +02:00 |
|
|
anna
|
09246f5482
|
process captured wildcards (IDEA-82913)
|
2012-03-28 18:01:15 +02:00 |
|
|
anna
|
bc7e569fa1
|
covariant return types: difference between java7 & java6 (IDEA-83599)
|
2012-03-28 13:27:06 +02:00 |
|
 Roman Shevchenko
|
259c98c535
|
IDEA-70214 (forward lookup for type parameters)
|
2011-11-08 20:43:01 +01:00 |
|
|
anna
|
2bd262433b
|
missed substitutor in hash code (IDEA-74581)
|
2011-09-27 15:55:24 +02:00 |
|
|
anna
|
9bd778fc21
|
test data for IDEA-74581
|
2011-09-26 12:45:06 +02:00 |
|
|
anna
|
18b6fe1bd4
|
check method signatures equality by erasure; do not check method names for constructors.
note that erasure of type parameter is erasure of its left bound (jls), so erasure (T extends A & B) != erasure (T extends B & A)
e.g. IDEA-74409
|
2011-09-23 08:00:09 +02:00 |
|
|
anna
|
ca2c3bc539
|
SOE (IDEA-69752 )
|
2011-09-06 11:54:45 +02:00 |
|
|
anna
|
008326cc84
|
forbid cast primitive to type parameter (IDEA-52484; IDEA-23260)
|
2011-08-25 19:26:02 +02:00 |
|
|
anna
|
9d4f40f5f5
|
additional test for (IDEA-65857; IDEA-62515 )
|
2011-08-22 21:31:10 +02:00 |
|
|
anna
|
613f9fddae
|
space (IDEA-67070)
|
2011-08-22 17:56:05 +02:00 |
|
|
anna
|
2e7f8bf8bb
|
class types are not provably distinct when they belong to one hierarchy
|
2011-07-12 19:12:51 +04:00 |
|
|
anna
|
49d4914f57
|
unchecked casts: ignore extends wildcards with the same bound as corresponding type parameter bound (IDEA-71629)
|
2011-07-12 17:43:36 +04:00 |
|
|
anna
|
ca8f1063b2
|
try narrowing conversion
|
2011-06-07 12:14:20 +04:00 |
|
|
anna
|
8f4a7ee0d0
|
interface 'overrides' object: methods with same erasure should be accepted (IDEA-67752)
|
2011-04-13 20:05:33 +02:00 |
|
|
anna
|
98568c1380
|
type arguments agree when one is type parameter and another is not any wildcard (IDEA-67427)
|
2011-04-12 15:17:39 +02:00 |
|
|
anna
|
70308b234e
|
check for enclosing instance of type for top level extends type only (IDEA-65857)
|
2011-02-27 17:30:17 +01:00 |
|
|
anna
|
84e7a9ae7a
|
unchecked warnings as fair inspection
|
2011-02-17 09:48:44 +01:00 |
|
|
anna
|
87e7f6aa02
|
add warning "unchecked generic array creation for vararg parameter"
|
2011-02-16 09:48:39 +01:00 |
|
|
anna
|
4b793a4f9f
|
unbound wildcard is not provably distinct from any array type (IDEA-63447)
|
2010-12-22 17:13:51 +03:00 |
|
 Alexey Kudravtsev
|
458ae21dcb
|
test for IDEA-62529
|
2010-12-08 16:13:24 +03:00 |
|
|
anna
|
19ccd895cb
|
super wildcard processing (IDEA-62529 )
|
2010-12-08 12:40:10 +03:00 |
|
|
anna
|
e1164f1314
|
private inner class can't be used in top class signature ( IDEA-57751)
|
2010-11-19 12:07:05 +03:00 |
|
|
anna
|
31cb911e3f
|
generics: raw type should not be equal to param type (IDEA-60170)
|
2010-10-29 15:02:02 +04:00 |
|
|
anna
|
48b40d0c03
|
type casts: check type parameter first (IDEA-58454)
|
2010-09-09 13:09:37 +04:00 |
|
|
anna
|
ab7796431a
|
show methods the same if type parameter bounds were mixed
|
2010-08-26 12:03:53 +04:00 |
|
|
anna
|
60bdcacc70
|
check whether wildcard bound or not (IDEA-57343)
|
2010-08-24 17:33:26 +04:00 |
|
|
anna
|
20ed44ab80
|
unbounded wildcard cant be proved to be different: test data
|
2010-08-24 13:26:08 +04:00 |
|
|
anna
|
9de47db6da
|
check if wildcard capture is possible; check array types inheritance ( IDEA-57261;IDEA-57262;IDEA-57266;IDEA-57288)
|
2010-08-19 11:47:00 +04:00 |
|
|
anna
|
42fc89c734
|
check type within its bound: raw types (IDEA-57288)
|
2010-08-19 11:46:58 +04:00 |
|
|
anna
|
e70fae642f
|
check type within its bound: wildcards
|
2010-08-12 21:01:15 +04:00 |
|
|
anna
|
8039cffacc
|
JLS 5.5: cast conversion implemented for generics types (inspired by IDEA-57342 )
|
2010-08-12 12:39:50 +04:00 |
|
|
anna
|
3f399561c2
|
good code is red: upper bound should move up if next parameter requires (IDEA-56696)
|
2010-07-23 13:57:13 +04:00 |
|
|
anna
|
232cc27726
|
type inference: super bounds promotion corrected (IDEA-55718)
|
2010-07-19 17:10:52 +04:00 |
|
|
Alexey Kudravtsev
|
735a9d17a8
|
java highlighting tests moved to community
|
2010-06-25 12:46:38 +04:00 |
|