MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-05-28 23:38:47 +07:00
Code Issues Packages Projects Releases Wiki Activity
413,761 Commits 25 Branches 8 Tags
b01b60a8a2cc74f9b6c9a0c172efc627648ddabc
Commit Graph

3 Commits

Author SHA1 Message Date
Mikhail Pyltsin 2be6bd8458 [java-highlighting] IDEA-323767 Rename "Downcast compatible" -> "checked cast compatible" 
GitOrigin-RevId: 6ac91a8fde1cae06a0892847b3ae24db1fdd9d0f
 2023-07-05 12:09:16 +00:00
Tagir Valeev 9b9e75531c [java-highlighting] Fix pattern type inference for wildcard-parameterized patterns 
Also: fix and unify unchecked warnings for patterns
#IDEA-312000 fixed

GitOrigin-RevId: 8f47b72ec308cc9b089571ddc486d275d5d8ff4e
 2023-02-07 12:02:04 +00:00
Mikhail Pyltsin e98c32838a [java-highlighting] IDEA-311833. Not correct warning about unchecked cast 
GitOrigin-RevId: aec8937d162d2f84c0abf22d50015477427ee602
 2023-01-29 23:14:53 +00:00