mirror of
https://github.com/carbon-language/carbon-lang.git
synced 2026-10-04 07:01:06 +01:00
josh11bandJosh L
aa90ab3862
Implements the rule: > For compound member access `a.(b)` where `b` names a _non-instance_ member of an interface `I`: > * `a` is implicitly converted to `I` > * let `T` be the result of symbolically evaluating the converted expression > * `impl` lookup is performed for `T as I`. > > Instance binding is never performed. See https://docs.carbon-lang.dev/docs/design/expressions/member_access.html#impl-lookup-for-compound-member-access. Before this PR, non-instance members were treated as instance members. --------- Co-authored-by: Josh L <josh11b@users.noreply.github.com>