]> Cypherpunks.ru repositories - gostls13.git/commit
cmd/compile/internal/types2: disallow type cycles through type parameter lists
authorRobert Griesemer <gri@golang.org>
Tue, 9 Nov 2021 00:09:11 +0000 (16:09 -0800)
committerRobert Griesemer <gri@golang.org>
Wed, 10 Nov 2021 00:56:09 +0000 (00:56 +0000)
commitcc14fcac2bc1d452841336b9aeee3b1d47880f37
treeeb2a41ef7dc27c1adbc981e24fd914fa987b42e1
parent318c024b498621932ace08736c38a51fe5519a63
cmd/compile/internal/types2: disallow type cycles through type parameter lists

If we reach a generic type that is part of a cycle
and we are in a type parameter list, we have a cycle
through a type parameter list, which is invalid.

Fixes #49439.

Change-Id: Ia6cf97e1748ca0c0e61c02841202050091365b0b
Reviewed-on: https://go-review.googlesource.com/c/go/+/361922
Trust: Robert Griesemer <gri@golang.org>
Reviewed-by: Robert Findley <rfindley@google.com>
12 files changed:
src/cmd/compile/internal/types2/check.go
src/cmd/compile/internal/types2/decl.go
src/cmd/compile/internal/types2/testdata/fixedbugs/issue45550.go2
src/cmd/compile/internal/types2/testdata/fixedbugs/issue46461.go2
src/cmd/compile/internal/types2/testdata/fixedbugs/issue47796.go2
src/cmd/compile/internal/types2/testdata/fixedbugs/issue48529.go2
src/cmd/compile/internal/types2/testdata/fixedbugs/issue49439.go2 [new file with mode: 0644]
test/typeparam/issue46461.go
test/typeparam/issue46461b.dir/a.go
test/typeparam/issue46461b.dir/b.go
test/typeparam/issue48280.dir/a.go
test/typeparam/issue48306.dir/a.go