]> Cypherpunks repositories - gostls13.git/commit
go/types, types2: isParameterized must be able to handle tuples
authorRobert Griesemer <gri@golang.org>
Sat, 29 Apr 2023 00:46:00 +0000 (17:46 -0700)
committerGopher Robot <gobot@golang.org>
Mon, 1 May 2023 17:49:13 +0000 (17:49 +0000)
commit73a4684caa1567c06e239dc657b82ede77777e3b
treef5d1c170d0b1b9b7bd5a0fd65723b5ecd541dded
parent63edd418b6684c0eed6d19d818eaef42e813a2ae
go/types, types2: isParameterized must be able to handle tuples

CL 484615 rewrote isParameterized by handling tuple types only where
they occur (function signatures). However, isParameterized is also
called from Checker.callExpr, with a result parameter list which
is a tuple. This CL handles tuples again.

Fixes #59890.

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