[troupo]

But that's exactly what Swift does: it narrows the types. To do that, it uses a separate construct that only exists to make the parser ever so slightly simpler.

[saagarjha]

Yes and I think having a separate construct rather than using another one and imbibing it with new meaning is more elegant