]> Cypherpunks repositories - gostls13.git/commit
go/types: accept constraint literals with elided interfaces
authorRobert Findley <rfindley@google.com>
Sun, 10 Oct 2021 14:43:20 +0000 (10:43 -0400)
committerRobert Findley <rfindley@google.com>
Mon, 11 Oct 2021 22:17:41 +0000 (22:17 +0000)
commit662c5eed3324a334d2d9418deb9e60a6765ff972
tree6abdb01466ddeca065f85e13479c8f5b2a3d879d
parent2ecdf9d800f631cfde30b7463a3ed2c0b60611d5
go/types: accept constraint literals with elided interfaces

This is a port of CL 353139 to go/types, adjusted for error reporting
and for the different representation of field lists in go/ast. A TODO is
added to verify if types2 produces redundant error messages for type
parameters sharing a bound.

For #48424

Change-Id: I3549942be0328de616d1d87d0ba621311fc53576
Reviewed-on: https://go-review.googlesource.com/c/go/+/354989
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/cmd/compile/internal/types2/decl.go
src/go/types/decl.go
src/go/types/testdata/examples/typesets.go2 [new file with mode: 0644]
src/go/types/testdata/fixedbugs/issue39723.go2
src/go/types/typeparam.go