Reproduce NPE error.#280

xingweitian wants to merge 2 commits intoopprop:masteropprop/checker-framework-inference:masterfrom

xingweitian:reproduce-npe-crashxingweitian/checker-framework-inference:reproduce-npe-crashCopy head branch name to clipboard