Files
Tagir Valeevandintellij-monorepo-bot 330a18544a [java-dfa] Ignore type annotations hierarchy on local variables
Fixes IDEA-348069 Local variable holding result of JSpecify-`@Nullable`-annotated method in `@NullMarked` package is unexpectedly non-null

GitOrigin-RevId: c43ef9636dd903250ae698d30e571d2df7f793d8
2024-07-30 16:34:11 +00:00

14 lines
239 B
Java

package com.example;
import org.jspecify.annotations.NullMarked;
import org.jetbrains.annotations.Nullable;
@NullMarked
final class JSpecifyLocal<T> {
void test() {
T s = getSomething();
}
native @Nullable T getSomething();
}