]> Cypherpunks repositories - gostls13.git/commit
go/types, types2: shorter list for 2nd phase of function type inference
authorRobert Griesemer <gri@golang.org>
Fri, 28 Jan 2022 02:55:29 +0000 (18:55 -0800)
committerRobert Griesemer <gri@golang.org>
Thu, 3 Feb 2022 16:13:58 +0000 (16:13 +0000)
commitb00447038a50e0923b12cb0bc3c28f6b842a7f54
treeea27a32f6cb83cb7ce0244eb283e92a253184f75
parent475ce826b75f113aff2810f3d27cb861adee0caa
go/types, types2: shorter list for 2nd phase of function type inference

In the 2nd phase of function argument type inference we only
consider parameters with types that are single type parameters.
Thus there is no need to collect anything else in the first
phase.

This matches the algorithm description in the forthcoming spec
more closely.

Change-Id: Ie5c29f30ff43b1e37d719ecbe1688b50ed2177f3
Reviewed-on: https://go-review.googlesource.com/c/go/+/381554
Trust: Robert Griesemer <gri@golang.org>
Reviewed-by: Robert Findley <rfindley@google.com>
src/cmd/compile/internal/types2/infer.go
src/go/types/infer.go