Report always-false constraints in inference#344

d367wang wants to merge 3 commits into

opprop:masteropprop/checker-framework-inference:masterfrom

d367wang:report-alwaysfalse-constraintd367wang/checker-framework-inference:report-alwaysfalse-constraintCopy head branch name to clipboard