Ergonomics: generic types conforming "in more than one way"

[Douglas_Gregor]

@dabrahams

I hope @Douglas_Gregor will confirm this to be part of the intended design:

In Swift, at the moment a concrete type is bound to a generic parameter, we can determine all of the type's conformances to any protocols.

I also hope that this is intended:

The determination of conformances can be done entirely based on declarations visible in the scope where the binding occurs.

Thanks for your indulgence,

I agree that those properties are intended.

Doug