Checker Framework 3.22.1-eisop1

Version 3.22.1-eisop1 (June 3, 2022)

User-visible changes:

Type parameters with explicit j.l.Object upper bounds and
unannotated, unbounded wildcards now behave the same in .astub
files and in .java files.

Implementation details:

In PropagationTreeAnnotator.visitBinary, we now consider the two cases where
the resulting Java type of a binary operation can be different from the operands'
types: string concatenation and binary comparison. We apply the declaration
bounds of the resulting Java type to ensure annotations in the ATM are valid.

Deprecated AnnotatedTypeFactory.binaryTreeArgTypes(AnnotatedTypeMirror, AnnotatedTypeMirror) in favor of
AnnotatedTypeFactory.binaryTreeArgTypes(BinaryTree) and
AnnotatedTypeFactory.compoundAssignmentTreeArgTypes(CompoundAssignmentTree).

Closed issues:

typetools#3025, typetools#3030, typetools#3236.

Test cases for issues that already pass:
typetools#2722, typetools#2995, typetools#3015, typetools#3027.

typetools#58 was closed in error. See
#242
for follow-up discussions.