]> Cypherpunks.ru repositories - gostls13.git/commit
go/types, types2: disable inference for type instances
authorRobert Findley <rfindley@google.com>
Thu, 24 Feb 2022 19:18:24 +0000 (14:18 -0500)
committerRobert Findley <rfindley@google.com>
Mon, 7 Mar 2022 21:18:15 +0000 (21:18 +0000)
commit28fab5ef21d8aef72634f9c251fbeb4039dababa
treeb9262889d9cef0ef18acef89ad33e75a206d5d9b
parent20dd9a42fb80ed4919d79bfb4644c16ab9e09e72
go/types, types2: disable inference for type instances

Inference for type instances has dependencies on type-checking order
that can lead to subtle bugs. As explained in #51527, disable it for
1.18.

Fixes #51527

Change-Id: I42795bad30ce53abecfc5a4914599ae5a2041a9e
Reviewed-on: https://go-review.googlesource.com/c/go/+/387934
Trust: Robert Findley <rfindley@google.com>
Run-TryBot: Robert Findley <rfindley@google.com>
Reviewed-by: Robert Griesemer <gri@golang.org>
TryBot-Result: Gopher Robot <gobot@golang.org>
17 files changed:
src/cmd/compile/internal/types2/testdata/check/typeinference.go2
src/cmd/compile/internal/types2/testdata/fixedbugs/issue49541.go2
src/cmd/compile/internal/types2/testdata/fixedbugs/issue50929.go2
src/cmd/compile/internal/types2/testdata/fixedbugs/issue51232.go2
src/cmd/compile/internal/types2/testdata/fixedbugs/issue51233.go2
src/cmd/compile/internal/types2/testdata/fixedbugs/issue51339.go2
src/cmd/compile/internal/types2/typexpr.go
src/go/types/errorcodes.go
src/go/types/testdata/check/typeinference.go2
src/go/types/testdata/fixedbugs/issue49541.go2
src/go/types/testdata/fixedbugs/issue50929.go2
src/go/types/testdata/fixedbugs/issue51232.go2
src/go/types/testdata/fixedbugs/issue51233.go2
src/go/types/testdata/fixedbugs/issue51339.go2
src/go/types/typexpr.go
test/typeparam/issue51232.go
test/typeparam/issue51233.go