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