]> Cypherpunks.ru repositories - gostls13.git/commit
[dev.typeparams] go/types: accept embedded interface elements
authorRob Findley <rfindley@google.com>
Tue, 8 Jun 2021 14:21:51 +0000 (10:21 -0400)
committerRobert Findley <rfindley@google.com>
Thu, 17 Jun 2021 02:08:05 +0000 (02:08 +0000)
commite7451f661665e406889094b9d1471c7991dfefaa
tree87767568ed0caab3f1c7ade4eba0fc19fbfcb860
parent54f854fb4150dfe5bc156abf57c46e9931d55ee5
[dev.typeparams] go/types: accept embedded interface elements

This is a port of CL 321689 to go/types. It differs from that CL in the
uses of the position, AST and error APIs, and in not factoring out an
unimplemented() helper (this helper didn't already exist in go/types, so
it seemed cleaner to defer adding it).

Change-Id: I577a57297caf35eb7a23f63f3f52037a7bb528ea
Reviewed-on: https://go-review.googlesource.com/c/go/+/326069
Trust: Robert Findley <rfindley@google.com>
Run-TryBot: Robert Findley <rfindley@google.com>
Reviewed-by: Robert Griesemer <gri@golang.org>
23 files changed:
src/go/types/builtins.go
src/go/types/errorcodes.go
src/go/types/infer.go
src/go/types/interface.go
src/go/types/predicates.go
src/go/types/sanitize.go
src/go/types/sizeof_test.go
src/go/types/sizes.go
src/go/types/subst.go
src/go/types/testdata/check/decls0.src
src/go/types/testdata/check/issues.src
src/go/types/testdata/check/typeinst2.go2
src/go/types/testdata/examples/constraints.go2 [new file with mode: 0644]
src/go/types/testdata/fixedbugs/issue39634.go2
src/go/types/testdata/fixedbugs/issue39693.go2
src/go/types/testdata/fixedbugs/issue39711.go2
src/go/types/testdata/fixedbugs/issue39723.go2
src/go/types/testdata/fixedbugs/issue39948.go2
src/go/types/type.go
src/go/types/typestring.go
src/go/types/typestring_test.go
src/go/types/unify.go
src/go/types/union.go [new file with mode: 0644]