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-psi] IDEA-379789 Guava. Possible NPE is not highlighted

Browse Source 
Correct nullability when inferring type variable from eq and lower bounds

GitOrigin-RevId: 3c41bda2c36fd24568710ef2c9ca8b5ba0c70414
This commit is contained in:
Tagir Valeev
2025-09-25 16:57:56 +00:00
committed by intellij-monorepo-bot
parent af71753a9a
commit b44761dc38
4 changed files with 41 additions and 18 deletions
Download Patch File Download Diff File Expand all files Collapse all files
java/java-tests/testData/inspection/dataFlow/fixture/GuavaIterablesProblems.java
+37
View File
@@ -0,0 +1,37 @@
import org.jetbrains.annotations.NotNull;
import org.jetbrains.annotations.NotNullByDefault;
import org.jetbrains.annotations.Nullable;
import java.util.List;
class MyTest {
@NotNullByDefault
static class Iterables {
public static native <T extends @Nullable Object> Iterable<T> concat(Iterable<? extends T> a, Iterable<? extends T> b);
public static native <T extends @Nullable Object> T[] toArray(
Iterable<? extends T> iterable, Class<@NotNull T> type);
public static native <T extends @Nullable Object> T get(
Iterable<T> iterable, int position);
}
void toArray(List<@Nullable String> l1) {
for (String s : Iterables.toArray(l1, String.class)) {
System.out.println(s.<warning descr="Method invocation 'length' may produce 'NullPointerException'">length</warning>());
}
}
void get(List<@Nullable String> l1) {
System.out.println(Iterables.get(l1, 0).<warning descr="Method invocation 'length' may produce 'NullPointerException'">length</warning>());
}
void foo(List<String> l1, List<String> l2) {
for (String s : Iterables.concat(l1, l2)) {
System.out.println(s.length());
}
}
}
java/java-tests/testData/inspection/dataFlow/fixture/InheritNullableInstantiateUnknown.java
-17
View File
@@ -1,17 +0,0 @@
import org.jetbrains.annotations.NotNullByDefault;
import org.jetbrains.annotations.Nullable;
import java.util.List;
class MyTest {
@NotNullByDefault
static class Iterables {
public static native <T extends @Nullable Object> Iterable<T> concat(Iterable<? extends T> a, Iterable<? extends T> b);
}
void foo(List<String> l1, List<String> l2) {
for (String s : Iterables.concat(l1, l2)) {
System.out.println(s.length());
}
}
}