I would be very happy if someone put together a proposal for this. This is on my short list of breaking language changes I'd still like to see at some point:
- Remove bare generic type behavior (this)
- Remove implicit 'nil' initial value for Optional-typed variables
- Remove AnyObject dynamic dispatch
- Remove implicit conformance to Hashable for enums with no payload cases
- Remove label-shuffling tuple conversions