MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-05-01 02:38:59 +07:00
Code Issues Packages Projects Releases Wiki Activity
415,405 Commits 22 Branches 8 Tags
e46cf8a4c46a361275a8679b5d8a8f3addb218d6
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