[swift-users] question about covariant subtyping

[Joe Groff]

> On Feb 23, 2017, at 4:45 AM, Michael Roitzsch <reactorcontrol at icloud.com> wrote:
> 
> So I understand that the first issue is a bug and the second may be a bug or may be intentional. Would you advise that I file them both as bugs then?

They're both bugs, ultimately. Slava was just pointing out that the second may be due to implementation limitations rather than oversight; either way, we should ultimately remove the limitation.

-Joe