[Java. Inspections] IDEA-375132 Nullable return incompatibilities Basic implementation.

MR brings detection of nullable inconsistencies inside return expressions for generic types. Now it supports
- Support of arbitrary generic type (previously only collections was supported)
- Recursive detection of inconsistencies
- Detection of assigning not-null to nullable (via option)

GitOrigin-RevId: ed37ea02ca44db58698f36f2ca82c67171733e69
This commit is contained in:
Georgii Ustinov
2025-10-02 14:36:35 +00:00
committed by intellij-monorepo-bot
parent a199e0438f
commit 5480b565a5
13 changed files with 373 additions and 47 deletions
@@ -560,6 +560,7 @@ inspection.nullable.problems.not.annotated.getters.for.annotated.fields=Report n
inspection.nullable.problems.notnull.overrides.option=Report @NotNull &parameters overriding non-annotated
inspection.nullable.problems.notnull.parameters.with.null.literal.option=Report @NotNull parameters with null-literal argument usages
inspection.nullable.problems.nullability.on.locals=Report nullability annotations on local variables when they are non-applicable
inspection.nullable.problems.notnull.to.nullable.assignment.conflicts=Report assignment of a not null type parameter to nullable type parameter
inspection.optional.get.without.is.present.message=<code>{0}.#ref()</code> without ''isPresent()'' check
inspection.optional.get.without.is.present.method.reference.message=<code>#ref</code> without 'isPresent()' check
inspection.overflowing.loop.index.inspection.description=Loop executes zero or billions of times