Use adapted bounds for method type arguments#1850

aosen-xiong wants to merge 10 commits into

eisop:mastereisop/checker-framework:masterfrom

aosen-xiong:method-typevariables-from-useaosen-xiong/checker-framework:method-typevariables-from-useCopy head branch name to clipboard