Update collection-object-parameters-may-be-null for new annotations.#3549

Open

cpovirk wants to merge 2 commits intotypetools:masterfrom cpovirk:alreadyannotated

+10-10

Commits on Aug 3, 2020

Update collection-object-parameters-may-be-null for new annotations.
cpovirk
committed

Commits on May 29, 2021

Merge ../checker-framework-branch-master into alreadyannotated
mernst
committed