Allow chained member references in implicit member expressions

[DevAndArtist (Adrian Meister)]

@Joe_Groff

Currently, we do allow for implicit member lookup to guide generic argument inference.

Is this really what‘s happening here? Isn‘t the where clause in that particular example ignored by the compiler similar to how it‘s definitely is ignored with associated type inference. I really dislike this latter part of the language. :(

What kind of magic behavior is this?

I was playing around with some API design where I accidentally discovered this magical behavior. Why is the compiler allowed to use the protocol extension with a where clause as default implementation for the missing protocol requirements? protocol Test { associatedtype Something var something: Something { get set } } extension Test where Something == Int { var something: Something { get { return 42 } set { } } } struct S: Test {} print(S().something) // prints 42 Is this a…