Sometimes we are able to clearly suggest a solution to an error in the user code.
For example:
@Nullable int[] -> probably meant int @Nullable []-
@NonNull
public class Service1
@NullMarked
public class Service1
In a report, it might look like this:
{
"kind": "INVALID_NULLNESS_ON_PRIMITIVE",
"message": "Primitive types cannot be annotated with @Nullable or @NonNull!",
"solution": "Do you mean `int @Nullable []`?"
}
Sometimes we are able to clearly suggest a solution to an error in the user code.
For example:
@Nullable int[]-> probably meantint @Nullable []In a report, it might look like this:
{ "kind": "INVALID_NULLNESS_ON_PRIMITIVE", "message": "Primitive types cannot be annotated with @Nullable or @NonNull!", "solution": "Do you mean `int @Nullable []`?" }