Apple (and the Swift project) uses available: 9999 and deprecated: 10000 to indicate availablility for future (unannounced) versions of OSes or Swift. It's likely they just haven't gotten around to properly updating the annotation for the now-announced iOS 14. You can report a bug but hopefully they have an automated checker for this stuff and the change just hasn't propagated to the betas yet.
2 Likes