Commit Graph

24 Commits

Author SHA1 Message Date
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