Issue error if top is used in a contract annotation#6429

mernst wants to merge 7 commits intotypetools:mastertypetools/checker-framework:masterfrom

mernst:warn-contract-refinement-to-top-2mernst/checker-framework:warn-contract-refinement-to-top-2Copy head branch name to clipboard