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

[java-dfa] IDEA-368172 Nullable return is not reported for lambda parameterized with unbounded type parameter under NullMarked

Browse Source 
GitOrigin-RevId: 61623e582c856479d4a2222ef33a73178831e074
This commit is contained in:
Tagir Valeev
2025-02-25 17:24:00 +00:00
committed by intellij-monorepo-bot
parent 711a88d18d
commit ea8dfc74ec
2 changed files with 12 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
java/java-tests/testData/inspection/dataFlow/fixture/JSpecifyReturnFromParameterized.java
+2 -2
View File
@@ -23,13 +23,13 @@ class ReturnFromParameterizedNullMarked {
return <warning descr="'null' is returned by the method declared as @NullMarked">null</warning>;
}
};
Callable<R> callable2 = () -> null;
Callable<R> callable2 = () -> <warning descr="'null' is returned by the method declared as @NullMarked">null</warning>;
R r = new Callable<R>() {
@Override
public R call() throws Exception {
return <warning descr="'null' is returned by the method declared as @NullMarked">null</warning>;
}
}.call();
R r2 = ((Callable<R>) () -> null).call();
R r2 = ((Callable<R>) () -> <warning descr="Function may return null, but it's not allowed here">null</warning>).call();
}
}