diff options
| author | Robert Griesemer <gri@golang.org> | 2023-02-01 20:03:17 -0800 |
|---|---|---|
| committer | Gopher Robot <gobot@golang.org> | 2023-02-06 19:34:10 +0000 |
| commit | 8fd6cc8bb51ff09990ab13422ef66e18e9295911 (patch) | |
| tree | 1a398831969dd51723727e7a443dcee31e958898 /src/cmd/internal/obj/objfile.go | |
| parent | e0603bc6760ee48d32a4a96a0e9cc032698d8584 (diff) | |
| download | go-8fd6cc8bb51ff09990ab13422ef66e18e9295911.tar.xz | |
go/types, types2: eliminate need to sort arguments for type inference
When unifying types, we always consider underlying types if inference
would fail otherwise. If a type parameter has a (non-defined) type
inferred and later matches against a defined type, make sure to keep
that defined type instead.
For #43056.
Change-Id: I24e4cd2939df7c8069e505be10914017c1c1c288
Reviewed-on: https://go-review.googlesource.com/c/go/+/464348
Reviewed-by: Robert Griesemer <gri@google.com>
TryBot-Result: Gopher Robot <gobot@golang.org>
Reviewed-by: Robert Findley <rfindley@google.com>
Auto-Submit: Robert Griesemer <gri@google.com>
Run-TryBot: Robert Griesemer <gri@google.com>
Diffstat (limited to 'src/cmd/internal/obj/objfile.go')
0 files changed, 0 insertions, 0 deletions