MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

[java-analysis] Remove old algorithm for determining type nullability

Browse Source 
Now, new one could be used which is more correct
Fixes IDEA-375493 Nullability of generic type with several bounds depends on bounds order

GitOrigin-RevId: 24e8aab73704d9b2b5ea7e47215bfeeadaed2f26
This commit is contained in:
Tagir Valeev
2025-07-04 15:05:13 +00:00
committed by intellij-monorepo-bot
parent 358c17e047
commit 3c712bd3aa
5 changed files with 52 additions and 82 deletions
Download Patch File Download Diff File Expand all files Collapse all files
java/java-tests/testData/inspection/dataFlow/fixture/JSpecifyIntersectionBound.java
+13
View File
@@ -0,0 +1,13 @@
import org.jspecify.annotations.NullMarked;
import org.jspecify.annotations.Nullable;
@NullMarked
class Test2 {
<T extends @Nullable Object & CharSequence> T test(@Nullable T t) {
return <warning descr="Expression 't' might evaluate to null but is returned by the method declared as @NullMarked">t</warning>;
}
<T extends Object & @Nullable CharSequence> T test2(@Nullable T t) {
return <warning descr="Expression 't' might evaluate to null but is returned by the method declared as @NullMarked">t</warning>;
}
}