]> Cypherpunks repositories - gostls13.git/commit
go/types, types2: use exact matching when unifying constraint method signatures
authorRobert Griesemer <gri@golang.org>
Thu, 1 Jun 2023 17:16:01 +0000 (10:16 -0700)
committerGopher Robot <gobot@golang.org>
Thu, 1 Jun 2023 22:32:26 +0000 (22:32 +0000)
commit7183e77cc07e380fd3df98f978386d29ecc79eb0
treed773599a3f617e533e0936ad701efa378bebcbd5
parent936ce874ace0bed17eac20dfa21fe04a45d30603
go/types, types2: use exact matching when unifying constraint method signatures

Fixes #60556.

Change-Id: I203a0bc79eff607654c3e8350d259e694cb035b2
Reviewed-on: https://go-review.googlesource.com/c/go/+/499995
TryBot-Result: Gopher Robot <gobot@golang.org>
Run-TryBot: Robert Griesemer <gri@google.com>
Reviewed-by: Robert Griesemer <gri@google.com>
Reviewed-by: Robert Findley <rfindley@google.com>
Auto-Submit: Robert Griesemer <gri@google.com>
src/cmd/compile/internal/types2/infer.go
src/go/types/infer.go
src/internal/types/testdata/fixedbugs/issue60556.go [new file with mode: 0644]