You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
When defining a property in an interface annotated with @org.jspecify.annotations.NullMarked, IntelliJ incorrectly reports that the property must be initialized. The inspection assumes it is a field, but it's actually an implicit getter/setter.
@NullMarkedpublicinterfaceTest {
@valStringtest; // WARNING: @NullMarked fields must be initialized
}
The text was updated successfully, but these errors were encountered:
EotT123
pushed a commit
to EotT123/manifold-test
that referenced
this issue
May 10, 2025
When defining a property in an interface annotated with
@org.jspecify.annotations.NullMarked
, IntelliJ incorrectly reports that the property must be initialized. The inspection assumes it is a field, but it's actually an implicit getter/setter.The text was updated successfully, but these errors were encountered: