]> Cypherpunks.ru repositories - gostls13.git/commit
cmd/compile/internal/types2: use a TypeList type to hold type arguments
authorRobert Griesemer <gri@golang.org>
Tue, 24 Aug 2021 03:43:57 +0000 (20:43 -0700)
committerRobert Griesemer <gri@golang.org>
Tue, 24 Aug 2021 16:36:55 +0000 (16:36 +0000)
commitb1cdf860dd5f517a2835c6bd48d12dad29ade1da
tree571be229b1b45cee3d3c84111e99fe1e9b3d4265
parent1ff0554b5318d5a39e2b26a9c84330e6aa47b1c6
cmd/compile/internal/types2: use a TypeList type to hold type arguments

This is a port of CL 343933 from go/types with the necessary
adjustments in the compiler.

With this CL type parameters and type lists are now held in
TParamList and TypeList data types which don't expose the
internal representation.

Change-Id: I6d60881b5db995dbc04ed3f4a96e8b5d41f83969
Reviewed-on: https://go-review.googlesource.com/c/go/+/344615
Trust: Robert Griesemer <gri@golang.org>
Reviewed-by: Matthew Dempsky <mdempsky@google.com>
Reviewed-by: Dan Scales <danscales@google.com>
15 files changed:
src/cmd/compile/internal/importer/iimport.go
src/cmd/compile/internal/noder/expr.go
src/cmd/compile/internal/noder/types.go
src/cmd/compile/internal/noder/writer.go
src/cmd/compile/internal/types2/infer.go
src/cmd/compile/internal/types2/instantiate.go
src/cmd/compile/internal/types2/lookup.go
src/cmd/compile/internal/types2/named.go
src/cmd/compile/internal/types2/predicates.go
src/cmd/compile/internal/types2/sizeof_test.go
src/cmd/compile/internal/types2/subst.go
src/cmd/compile/internal/types2/typelists.go [new file with mode: 0644]
src/cmd/compile/internal/types2/typeparam.go
src/cmd/compile/internal/types2/typestring.go
src/cmd/compile/internal/types2/unify.go