Fix VPA crash on defaulted direct supertypes#1810

aosen-xiong wants to merge 4 commits into

eisop:mastereisop/checker-framework:masterfrom

aosen-xiong:vpa-crashaosen-xiong/checker-framework:vpa-crashCopy head branch name to clipboard