]> Cypherpunks repositories - gostls13.git/commit
cmd/compile/internal/types2: handle recursive type parameter constraints
authorRobert Griesemer <gri@golang.org>
Tue, 7 Sep 2021 20:58:49 +0000 (13:58 -0700)
committerRobert Griesemer <gri@golang.org>
Wed, 8 Sep 2021 15:51:08 +0000 (15:51 +0000)
commit73a062c3e765aa953a84b128aa765a607b2df083
tree975ff3f06fd5012f73390f47ae0bf0859f879462
parent9581d891ab8c88bbf9e5b5142926fbca653551e6
cmd/compile/internal/types2: handle recursive type parameter constraints

Check type constraints after the respective type parameter list
has been associated with a parameterized type so that recursive
type parameter constraints "see" a parameterized type.

Fixes #45550.
Fixes #47796.

Change-Id: Iac74610ca017a78013820624230c857395506aff
Reviewed-on: https://go-review.googlesource.com/c/go/+/348090
Trust: Robert Griesemer <gri@golang.org>
Reviewed-by: Robert Findley <rfindley@google.com>
src/cmd/compile/internal/types2/decl.go
src/cmd/compile/internal/types2/signature.go
src/cmd/compile/internal/types2/testdata/fixedbugs/issue45550.go2 [new file with mode: 0644]
src/cmd/compile/internal/types2/testdata/fixedbugs/issue47796.go2 [new file with mode: 0644]