diff options
| author | Robert Griesemer <gri@golang.org> | 2023-05-25 09:54:11 -0700 |
|---|---|---|
| committer | Gopher Robot <gobot@golang.org> | 2023-05-25 21:37:01 +0000 |
| commit | 1dd24d821650a7681c6ee25f0cf99becc93490bd (patch) | |
| tree | 89ad7f59080e737613ed644f719c5211c9e4bb84 /src/database/sql/sql.go | |
| parent | f9d114d0e85eba7a79b9656aa65f0ba939787fb6 (diff) | |
| download | go-1dd24d821650a7681c6ee25f0cf99becc93490bd.tar.xz | |
go/types, types2: don't infer type argument for unused parameter in interfaces
Two interface types that are assignable don't have to be identical;
specifically, if they are defined types, they can be different
defined types. If those defined types specify type parameters which
are never used, do not infer a type argument based on the instantiation
of a matching defined type.
Adjusted three existing tests where we inferred type arguments incorrectly.
Fixes #60377.
Change-Id: I91fb207235424b3cbc42b5fd93eee619e7541cb7
Reviewed-on: https://go-review.googlesource.com/c/go/+/498315
Auto-Submit: Robert Griesemer <gri@google.com>
Reviewed-by: Robert Findley <rfindley@google.com>
Reviewed-by: Robert Griesemer <gri@google.com>
Run-TryBot: Robert Griesemer <gri@google.com>
TryBot-Result: Gopher Robot <gobot@golang.org>
Diffstat (limited to 'src/database/sql/sql.go')
0 files changed, 0 insertions, 0 deletions