]> Cypherpunks repositories - gostls13.git/commit
[dev.typeparams] go/types: disallow ~T where T is a defined type or an interface
authorRob Findley <rfindley@google.com>
Thu, 10 Jun 2021 16:23:40 +0000 (12:23 -0400)
committerRobert Findley <rfindley@google.com>
Thu, 17 Jun 2021 02:15:03 +0000 (02:15 +0000)
commit8115ae198d192f778a3586596c8550665f409823
tree04bcc15e27ec38718522353290d8018acc637330
parent6237e441bca7f3429abde413bf71c7840fec9bf2
[dev.typeparams] go/types: disallow ~T where T is a defined type or an interface

This is a straightforward port of CL 324570 to go/types.

Change-Id: I1395775a1d21a903a57e0cefc4e240cfa2bb8e97
Reviewed-on: https://go-review.googlesource.com/c/go/+/326684
Trust: Robert Findley <rfindley@google.com>
Run-TryBot: Robert Findley <rfindley@google.com>
TryBot-Result: Go Bot <gobot@golang.org>
Reviewed-by: Robert Griesemer <gri@golang.org>
src/go/types/testdata/check/typeinst2.go2
src/go/types/testdata/examples/constraints.go2
src/go/types/testdata/fixedbugs/issue39634.go2
src/go/types/union.go