diff options
| author | Keith Randall <khr@golang.org> | 2021-07-24 14:11:27 -0700 |
|---|---|---|
| committer | Keith Randall <khr@golang.org> | 2021-07-24 22:49:24 +0000 |
| commit | b27c7e30dc5d222766057e62c16cb765b636d244 (patch) | |
| tree | 44c9e86c068a2f8e5e8d5a387693502a15e39788 /src/cmd/compile/internal/types/type.go | |
| parent | a2e2b0362bb2e7b93de668007027d08888bc9a38 (diff) | |
| download | go-b27c7e30dc5d222766057e62c16cb765b636d244.tar.gz go-b27c7e30dc5d222766057e62c16cb765b636d244.zip | |
[dev.typeparams] cmd/compile: fix HasShape, add dottype test
HasShape needs a TINTER case.
Add a test for x.(T) in various situations. Needs the fix above.
Also remove ONEW unshapify case. It is ok for ONEW to have a shape
type, as it will just be passed to mallocgc, or possibly used as a
stack object type, both of which are ok.
Change-Id: Ibddf8f5c8c254d32cb5ebcaca7dc94b4c00ab893
Reviewed-on: https://go-review.googlesource.com/c/go/+/337231
Trust: Keith Randall <khr@golang.org>
Trust: Dan Scales <danscales@google.com>
Run-TryBot: Keith Randall <khr@golang.org>
TryBot-Result: Go Bot <gobot@golang.org>
Reviewed-by: Dan Scales <danscales@google.com>
Diffstat (limited to 'src/cmd/compile/internal/types/type.go')
| -rw-r--r-- | src/cmd/compile/internal/types/type.go | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/src/cmd/compile/internal/types/type.go b/src/cmd/compile/internal/types/type.go index e6ae0e7bc1..58ac4db95a 100644 --- a/src/cmd/compile/internal/types/type.go +++ b/src/cmd/compile/internal/types/type.go @@ -2189,7 +2189,13 @@ func (t *Type) HasShape1(visited map[*Type]bool) bool { } } } - // TODO: TINTER - check methods? + case TINTER: + for _, f := range t.Methods().Slice() { + if f.Type.HasShape1(visited) { + return true + } + } + return false } return false } |