]> Cypherpunks repositories - gostls13.git/commit
go/types, types2: disentangle convoluted logic for missing method cause
authorRobert Griesemer <gri@golang.org>
Thu, 2 Mar 2023 01:08:15 +0000 (17:08 -0800)
committerGopher Robot <gobot@golang.org>
Thu, 2 Mar 2023 19:32:19 +0000 (19:32 +0000)
commit4ad72feb920f3fb613e47e72fd34909b9e7fbc83
tree2bc2aa0534b9481929286d81713b333162ba6f82
parent3f8f929d60a90c4e4e2b07c8d1972166c1a783b1
go/types, types2: disentangle convoluted logic for missing method cause

Use a state to exactly track lookup results. In case of lookup failure,
use the state to directly report the cause instead of trying to guess
from the missing and alternative method.

Addresses a TODO (incorrect error message).

Change-Id: I50902752deab741f8199a09fd1ed29286cf5be42
Reviewed-on: https://go-review.googlesource.com/c/go/+/472637
TryBot-Result: Gopher Robot <gobot@golang.org>
Auto-Submit: Robert Griesemer <gri@google.com>
Reviewed-by: Robert Findley <rfindley@google.com>
Run-TryBot: Robert Griesemer <gri@google.com>
Reviewed-by: Robert Griesemer <gri@google.com>
src/cmd/compile/internal/types2/lookup.go
src/go/types/lookup.go
src/internal/types/testdata/examples/inference.go