Note about @InternedDistinct and constructor results#7635

mernst wants to merge 1 commit intotypetools:mastertypetools/checker-framework:masterfrom

mernst:new-not-interned-distinctmernst/checker-framework:new-not-interned-distinctCopy head branch name to clipboard