]> Cypherpunks.ru repositories - gostls13.git/commit
[dev.typeparams] go/types: introduce type set abstraction for interfaces
authorRob Findley <rfindley@google.com>
Fri, 16 Jul 2021 02:49:00 +0000 (22:49 -0400)
committerRobert Findley <rfindley@google.com>
Fri, 16 Jul 2021 23:04:35 +0000 (23:04 +0000)
commit24f9eb2de34d8d92dac4c6ffaa55ff2234c639d2
treee87474de3151070f23ab838a52c4ee9ffe30f310
parentb296e54618ea09b89154173a2bfb200203a731bf
[dev.typeparams] go/types: introduce type set abstraction for interfaces

This is a port of CL 329309 to go/types, with minor updates for API
differences and to handle methodset.go, which doesn't exist in types2.

A couple pre-existing comments were adjusted to match types2.

Change-Id: I3fd556e1326013a694ff5edb8518ca24c27bd10b
Reviewed-on: https://go-review.googlesource.com/c/go/+/334894
Trust: Robert Findley <rfindley@google.com>
Run-TryBot: Robert Findley <rfindley@google.com>
TryBot-Result: Go Bot <gobot@golang.org>
Reviewed-by: Robert Griesemer <gri@golang.org>
19 files changed:
src/go/types/api_typeparams.go
src/go/types/builtins.go
src/go/types/call.go
src/go/types/expr.go
src/go/types/infer.go
src/go/types/interface.go
src/go/types/lookup.go
src/go/types/methodset.go
src/go/types/predicates.go
src/go/types/sanitize.go
src/go/types/sizeof_test.go
src/go/types/subst.go
src/go/types/testdata/check/cycles4.src
src/go/types/type.go
src/go/types/typeset.go [new file with mode: 0644]
src/go/types/typestring.go
src/go/types/typexpr.go
src/go/types/unify.go
src/go/types/universe.go