Changes in https://github.com/jspecify/checker-framework/commit/0a0904ff8f7ac0cff2fbefec5633157782db6048 Both eisop and typetools have several changes in this area, so let's see whether any of this will be necessary.
