Use proper underlying type#7791

mernstcheckerframework wants to merge 1 commit into

typetools:mastertypetools/checker-framework:masterfrom

mernst:atmflub-visitormernst/checker-framework:atmflub-visitorCopy head branch name to clipboard