go/types: add test for interface method field type

Add a test that would have detected the regression in #74303: interface
method fields should have a recorded type.

For #74303

Change-Id: Ide5df51cd71c38809c364bb4f95950163ecefb66
Reviewed-on: https://go-review.googlesource.com/c/go/+/683595
LUCI-TryBot-Result: Go LUCI <golang-scoped@luci-project-accounts.iam.gserviceaccount.com>
Reviewed-by: Alan Donovan <adonovan@google.com>
Auto-Submit: Robert Findley <rfindley@google.com>

diff --git a/src/cmd/compile/internal/types2/api_test.go b/src/cmd/compile/internal/types2/api_test.go
index 44fb6afe9858ab5e2bcfe2f0118bce4b6b764309..0d3c8b8e3e5e0f692cad03dc144a4664c7e897e3 100644 (file)
--- a/src/cmd/compile/internal/types2/api_test.go
+++ b/src/cmd/compile/internal/types2/api_test.go
@@ -358,6 +358,11 @@ func TestTypesInfo(t *testing.T) {
                // go.dev/issue/47895
                {`package p; import "unsafe"; type S struct { f int }; var s S; var _ = unsafe.Offsetof(s.f)`, `s.f`, `int`},
 
+               // go.dev/issue/74303. Note that interface field types are synthetic, so
+               // even though `func()` doesn't appear in the source, it appears in the
+               // syntax tree.
+               {`package p; type T interface { M(int) }`, `func(int)`, `func(int)`},
+
                // go.dev/issue/50093
                {`package u0a; func _[_ interface{int}]() {}`, `int`, `int`},
                {`package u1a; func _[_ interface{~int}]() {}`, `~int`, `~int`},

diff --git a/src/go/types/api_test.go b/src/go/types/api_test.go
index f5a911306fb4b8e653453ea7d047f1802076d8fc..4396b8ae89d1db0a57790e0b11811c9b094b810a 100644 (file)
--- a/src/go/types/api_test.go
+++ b/src/go/types/api_test.go
@@ -364,6 +364,11 @@ func TestTypesInfo(t *testing.T) {
                // go.dev/issue/47895
                {`package p; import "unsafe"; type S struct { f int }; var s S; var _ = unsafe.Offsetof(s.f)`, `s.f`, `int`},
 
+               // go.dev/issue/74303. Note that interface field types are synthetic, so
+               // even though `func()` doesn't appear in the source, it appears in the
+               // syntax tree.
+               {`package p; type T interface { M(int) }`, `func(int)`, `func(int)`},
+
                // go.dev/issue/50093
                {`package u0a; func _[_ interface{int}]() {}`, `int`, `int`},
                {`package u1a; func _[_ interface{~int}]() {}`, `~int`, `~int`},