]> Cypherpunks repositories - gostls13.git/commit
projects / gostls13.git / commit
summary | shortlog | log | commit | commitdiff | tree
(parent: 254c497) | patch
cmd/compile/internal/types2: add support for inferring type instances
authorRobert Griesemer <gri@golang.org>
Tue, 19 Oct 2021 00:17:08 +0000 (17:17 -0700)
committerRobert Griesemer <gri@golang.org>
Tue, 19 Oct 2021 17:01:42 +0000 (17:01 +0000)
commit3a07ab70a2d63e3ac1fc126529dde29852a972f5
tree44eae139fe5750a5973269184b394392658cce61tree
parent254c497e5c5628be115b966808d6e76d335313a3commit | diff
cmd/compile/internal/types2: add support for inferring type instances

This is an essentially clean port of CL 356489 from go/types to types2,
with minor adjustments due to the different AST packages and error
reporting.

Fixes #47990.

Change-Id: I52187872474bfc1fb49eb77905f22fc820b7295b
Reviewed-on: https://go-review.googlesource.com/c/go/+/356514
Trust: Robert Griesemer <gri@golang.org>
Reviewed-by: Robert Findley <rfindley@google.com>
src/cmd/compile/internal/types2/call.go diff | blob | history
src/cmd/compile/internal/types2/instantiate.go diff | blob | history
src/cmd/compile/internal/types2/named.go diff | blob | history
src/cmd/compile/internal/types2/testdata/check/funcinference.go2 [moved from src/cmd/compile/internal/types2/testdata/check/tinference.go2 with 82% similarity] diff | blob | history
src/cmd/compile/internal/types2/testdata/check/typeinference.go2 [new file with mode: 0644] blob
src/cmd/compile/internal/types2/testdata/check/typeinst2.go2 diff | blob | history
src/cmd/compile/internal/types2/testdata/check/typeinstcycles.go2 [new file with mode: 0644] blob
src/cmd/compile/internal/types2/typexpr.go diff | blob | history
Go GOST TLS 1.3