Big changes to the ATF https://github.com/jspecify/checker-framework/blame/2eea6f8242391624def3818289abc44c1ec4ae0b/framework/src/main/java/org/checkerframework/framework/type/AnnotatedTypeFactory.java#L5017 which come from https://github.com/jspecify/checker-framework/commit/2e588e78bd81ee52151bda45720120f3cd83c52a
