Using subtypes in the implementation of protocol properties and function return values

This is SR-522, and it would be source-breaking to change. However, the change could be tied to a language mode, so somebody motivated could suggest it and drive it for Swift 6.

5 Likes