1ca1b6e866
When expanding the methods of an instantiated generic type, subst
preserved the method's own type parameters by pointer. As a result,
for func (G[T]) M[P interface{ ~*T }], the signature of G[int].M kept
P's bound as ~*T (a free reference to the origin receiver parameter)
rather than ~*int. Calls of such methods were rejected with errors
like "*int does not satisfy interface{~*T}".
When subst encounters a Signature whose own type parameters are not
the variables being substituted, create fresh type parameters with
substituted bounds and rename references in params and results
accordingly. The instantiation path (where tparams are the smap keys)
is unchanged: the caller still nils tparams afterward.
Change-Id: I7705f40c6712eb975bb570ee82d0cd2e0717fa8f
Reviewed-on: https://go-review.googlesource.com/c/go/+/766022
Reviewed-by: Mark Freeman <markfreeman@google.com>
Reviewed-by: Robert Griesemer <gri@google.com>
LUCI-TryBot-Result: golang-scoped@luci-project-accounts.iam.gserviceaccount.com <golang-scoped@luci-project-accounts.iam.gserviceaccount.com>
|
||
|---|---|---|
| .github | ||
| api | ||
| doc | ||
| lib | ||
| misc | ||
| src | ||
| test | ||
| .gitattributes | ||
| .gitignore | ||
| codereview.cfg | ||
| CONTRIBUTING.md | ||
| go.env | ||
| LICENSE | ||
| PATENTS | ||
| README.md | ||
| SECURITY.md | ||
The Go Programming Language
Go is an open source programming language that makes it easy to build simple, reliable, and efficient software.
Gopher image by Renee French, licensed under Creative Commons 4.0 Attribution license.
Our canonical Git repository is located at https://go.googlesource.com/go. There is a mirror of the repository at https://github.com/golang/go.
Unless otherwise noted, the Go source files are distributed under the BSD-style license found in the LICENSE file.
Download and Install
Binary Distributions
Official binary distributions are available at https://go.dev/dl/.
After downloading a binary release, visit https://go.dev/doc/install for installation instructions.
Install From Source
If a binary distribution is not available for your combination of operating system and architecture, visit https://go.dev/doc/install/source for source installation instructions.
Contributing
Go is the work of thousands of contributors. We appreciate your help!
To contribute, please read the contribution guidelines at https://go.dev/doc/contribute.
Note that the Go project uses the issue tracker for bug reports and proposals only. See https://go.dev/wiki/Questions for a list of places to ask questions about the Go language.