Closed mernst closed 4 years ago
Merge together with https://github.com/typetools/checker-framework/pull/2970
Merge together with https://github.com/typetools/checker-framework/pull/2970