diff options
| author | Robert Griesemer <gri@golang.org> | 2023-02-28 12:56:06 -0800 |
|---|---|---|
| committer | Gopher Robot <gobot@golang.org> | 2023-03-01 21:23:52 +0000 |
| commit | b44f2222b5e3d9de0d214101bf458251ac30ffe3 (patch) | |
| tree | cd87f5c77792c57a2ce9312ca42cc2d870fd2b9f /src/os/exec/exec_test.go | |
| parent | 09852e75acc8228887713e75e9c88dc864978065 (diff) | |
| download | go-b44f2222b5e3d9de0d214101bf458251ac30ffe3.tar.xz | |
go/types, types2: consider methods when unifying type parameters and constraints
An inferred type argument must implement its type parameter's constraint's
methods whether or not a core type exists. This allows us to infer type
parameters used in method signatures.
Fixes #51593.
Change-Id: I1fddb05a71d442641b4311d8e30a13ea9bdb4db5
Reviewed-on: https://go-review.googlesource.com/c/go/+/472298
TryBot-Result: Gopher Robot <gobot@golang.org>
Auto-Submit: Robert Griesemer <gri@google.com>
Run-TryBot: Robert Griesemer <gri@google.com>
Reviewed-by: Robert Griesemer <gri@google.com>
Reviewed-by: Robert Findley <rfindley@google.com>
Diffstat (limited to 'src/os/exec/exec_test.go')
0 files changed, 0 insertions, 0 deletions