mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-08-31 04:07:30 +07:00
Fixes IDEA-369220 JSpecify support - wrong warning when Nullable method is declared in NullMarked scope and overridden GitOrigin-RevId: 50163bfda72bd1f583dda644c668b78859fac022
18 lines
290 B
Java
18 lines
290 B
Java
import org.jspecify.annotations.NullMarked;
|
|
import org.jspecify.annotations.Nullable;
|
|
|
|
class Main {
|
|
@NullMarked
|
|
interface Api {
|
|
@Nullable
|
|
<T> T call();
|
|
}
|
|
|
|
@NullMarked
|
|
static class Impl implements Api {
|
|
@Nullable
|
|
public <T> T call() {
|
|
return null;
|
|
}
|
|
}
|
|
} |