Lock sideffect message#7782

mernst wants to merge 4 commits into

typetools:mastertypetools/checker-framework:masterfrom

mernst:lock-sideffect-messagemernst/checker-framework:lock-sideffect-messageCopy head branch name to clipboard