Handle intersection type in viewpoint adaptation#1434

aosen-xiong wants to merge 16 commits into

eisop:mastereisop/checker-framework:masterfrom

aosen-xiong:eisop-433aosen-xiong/checker-framework:eisop-433Copy head branch name to clipboard