[swift-evolution] Unify covariant return type behaviour

[Chris Lattner]

> On Jan 8, 2016, at 5:25 PM, Howard Lovatt via swift-evolution <swift-evolution at swift.org> wrote:
> 
> Currently Swift is inconsistent on how it handles covariant return types, consider the code below:

Agreed, this looks like a bug.

-Chris