Closed wmdietl closed 7 years ago
Once https://github.com/typetools/checker-framework/pull/1521 has been merged, we can revert adding these additional null checks. Reverts typetools/checker-framework-inference#59
Once https://github.com/typetools/checker-framework/pull/1521 has been merged, we can revert adding these additional null checks. Reverts typetools/checker-framework-inference#59