[swift-evolution] [Completing Generics] Completing protocol extension diagnostics

[Brent Royal-Gordon]

> For type A problems: why not require that you annotate with overload?

This is basically the same thing as the suggestion to use `implements`, except that `override` (which I assume is what you meant) is not really accurate since you only override inherited methods.

-- 
Brent Royal-Gordon
Architechies