Ada range sub typing in Swift

[sighoya]

@jonprescott

As an aside, has there been any consideration of such a typing mechanism been considered as part of the language standard?

Non type Generics might be able to simulate them to some extent.