Fix type declaration bounds in inference#394

zcai1 wants to merge 3 commits intoopprop:masteropprop/checker-framework-inference:masterfrom

zcai1:string-conversion-typezcai1/checker-framework-inference:string-conversion-typeCopy head branch name to clipboard