Checker Framework 3.21.3-eisop1

Version 3.21.3-eisop1 (March 23, 2022)

User-visible changes:

If you supply the new -AjspecifyNullMarkedAlias=false command-line
option, then the Nullness Checker will not treat
org.jspecify.nullness.NullMarked as a defaulting annotation.
By default the NullMarked annotation continues to be recognized.

Implementation details:

Changed AnnotatedTypeFactory.initializeAtm from public to package
private visibility. Nobody outside the package should call this method.

Changed CFAbstractTransfer.insertIntoStores from public to protected
visibility. It is only meant as a utility method for use within a
transfer function.

Deprecated class StringConcatenateAssignmentNode and its usages.
String concatenate assignments are now desugared to an assignment and
a concatenation node instead.
This avoids error prone duplication of logic.

Closed issues:
typetools#5075.