Issue warnings when top is passed as a pre/postcondition qualifier#6409

jyoo980 wants to merge 4 commits into

typetools:mastertypetools/checker-framework:masterfrom

jyoo980:yoo/warn-contract-refinement-to-topjyoo980/checker-framework:yoo/warn-contract-refinement-to-topCopy head branch name to clipboard