The new Availability attributes do not check minimum and maximum versions which means that we do have some bindings that are pointing to far in the future APIs and we do not get warnings or errors about it.
Adding introspections tests would be a good path to follow.
We acknowledge this enhancement request, therefore marked it as CONFIRMED.
It's not a perfect validation (e,g. iOS 9.9 would be valid) but PR3141  added test so we cannot have a future version (e.g. [Mac(13,0)] instead of [Mac (10,13)] without failing the into tests.