diff options
| author | Robert Griesemer <gri@golang.org> | 2023-04-28 17:46:00 -0700 |
|---|---|---|
| committer | Gopher Robot <gobot@golang.org> | 2023-05-01 17:49:13 +0000 |
| commit | 73a4684caa1567c06e239dc657b82ede77777e3b (patch) | |
| tree | f5d1c170d0b1b9b7bd5a0fd65723b5ecd541dded /src/go/types/call.go | |
| parent | 63edd418b6684c0eed6d19d818eaef42e813a2ae (diff) | |
| download | go-git-73a4684caa1567c06e239dc657b82ede77777e3b.tar.gz | |
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>
Diffstat (limited to 'src/go/types/call.go')
| -rw-r--r-- | src/go/types/call.go | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/go/types/call.go b/src/go/types/call.go index 418de06e76..979de2338f 100644 --- a/src/go/types/call.go +++ b/src/go/types/call.go @@ -334,8 +334,8 @@ func (check *Checker) callExpr(x *operand, call *ast.CallExpr) exprKind { x.expr = call check.hasCallOrRecv = true - // if type inference failed, a parametrized result must be invalidated - // (operands cannot have a parametrized type) + // if type inference failed, a parameterized result must be invalidated + // (operands cannot have a parameterized type) if x.mode == value && sig.TypeParams().Len() > 0 && isParameterized(sig.TypeParams().list(), x.typ) { x.mode = invalid } |