]> Cypherpunks repositories - gostls13.git/commit
cmd/compile, go/types: allow `any` anywhere (as a type)
authorRobert Griesemer <gri@golang.org>
Wed, 22 Sep 2021 18:26:40 +0000 (11:26 -0700)
committerRobert Griesemer <gri@golang.org>
Wed, 22 Sep 2021 19:19:49 +0000 (19:19 +0000)
commit1e5774889212bdaff5d061b2a45cd0093a291b44
tree1da226b93e0a2b96c48e23c3f24d387e9d9e0063
parent7a03ca65b303474c2ea610178105304eae1180df
cmd/compile, go/types: allow `any` anywhere (as a type)

Adjust types2 and go/types and some test cases.

Because `any` is not treated specially anymore in constraint
position we get additional errors in constraints if `any` is
used before Go1.18 (in addition to the error that type parameter
lists are not permitted before Go1.18).

Fixes #33232.

Change-Id: I85590c6094b07c3e494fef319e3a38d0217cf6f0
Reviewed-on: https://go-review.googlesource.com/c/go/+/351456
Trust: Robert Griesemer <gri@golang.org>
Run-TryBot: Robert Griesemer <gri@golang.org>
TryBot-Result: Go Bot <gobot@golang.org>
Reviewed-by: Robert Findley <rfindley@google.com>
14 files changed:
src/cmd/compile/internal/types2/decl.go
src/cmd/compile/internal/types2/testdata/check/typeparams.go2
src/cmd/compile/internal/types2/testdata/examples/constraints.go2
src/cmd/compile/internal/types2/testdata/examples/types.go2
src/cmd/compile/internal/types2/testdata/fixedbugs/issue47818.go2
src/cmd/compile/internal/types2/typexpr.go
src/go/types/decl.go
src/go/types/testdata/check/typeparams.go2
src/go/types/testdata/examples/constraints.go2
src/go/types/testdata/examples/types.go2
src/go/types/testdata/fixedbugs/issue47818.go2
src/go/types/typexpr.go
test/fixedbugs/issue14652.go
test/typeparam/tparam1.go