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-inspections] IDEA-380532 IJ-CR-181243 Jspecify. False positive. Warning about a wildcard, extending Object

Browse Source 
- make it more precise. Only for non-unknown places


(cherry picked from commit 830a59453f7f4264c0d530e816d5360e99ac5e52)

IJ-CR-181243

GitOrigin-RevId: 9e74e8aa4bf4d37046e1af86607abdd863d8e8f0
This commit is contained in:
Mikhail Pyltsin
2025-11-05 21:45:41 +00:00
committed by intellij-monorepo-bot
parent 01ee480d20
commit 8245e0962e
3 changed files with 23 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files
java/java-tests/testData/ig/com/siyeh/igtest/style/type_parameter_extends_object/TypeParameterExtendsObjectWithContainerAnnotation.java
+4
View File
@@ -1,4 +1,5 @@
import org.jspecify.annotations.NullMarked;
import org.jspecify.annotations.NullUnmarked;
class TypeParameterExtendsObjectWithContainerAnnotation {
@NullMarked
@@ -6,6 +7,9 @@ class TypeParameterExtendsObjectWithContainerAnnotation {
Lib<?> t();
void checkNeverNull(Lib<? extends Object> lib);
@NullUnmarked
void checkNeverNull2(Lib<<warning descr="Wildcard type argument '?' explicitly extends 'java.lang.Object'">?</warning> extends Object> lib);
}
}