gopls/internal/golang/completion: don't make unnecessary conversions for generic functions

gopls/internal/golang/completion/completion.go

@@ -2419,7 +2419,9 @@ Nodes:
 						return inf
 					}
 
-					if sig.TypeParams().Len() > 0 {
+					// Inference is necessary only when function results are generic.
+					var free typeparams.Free
+					if free.Has(sig.Results()) {
 						targs := c.getTypeArgs(node)
 						res := inferExpectedResultTypes(c, i)
 						substs := reverseInferTypeArgs(sig, targs, res)

gopls/internal/golang/implementation.go

@@ -773,6 +773,9 @@ func unify(x, y types.Type, unifier map[*types.TypeParam]types.Type) bool {
 
 // typeParams yields all the free type parameters within t that are relevant for
 // unification.
+//
+// Note: this function is tailored for the specific needs of the unification algorithm.
+// Don't try to use it for other purposes, see [typeparams.Free] instead.
 func typeParams(t types.Type) iter.Seq[*types.TypeParam] {
 
 	return func(yield func(*types.TypeParam) bool) {

gopls/internal/test/marker/testdata/completion/type_params_reverse_infer.txt

@@ -0,0 +1,78 @@
+-- flags --
+-ignore_extra_diags
+
+-- declarations.go --
+package x
+
+import (
+	"cmp"
+	"io"
+	"os"
+)
+
+var File *os.File
+
+func A[T cmp.Ordered](T) int { return 0 }
+
+func B[T comparable](T) int { return 0 }
+
+func C[T int | string](T) int { return 0 }
+
+func D[T io.Reader](T) int { return 0 }
+
+-- a.go --
+package x
+
+func _(i int) {
+	i = A(File.Nam) //@acceptcompletion(re"Nam()", "Name", A)
+}
+
+-- @A/a.go --
+package x
+
+func _(i int) {
+	i = A(File.Name()) //@acceptcompletion(re"Nam()", "Name", A)
+}
+
+-- b.go --
+package x
+
+func _(i int) {
+	i = B(File.Nam) //@acceptcompletion(re"Nam()", "Name", B)
+}
+
+-- @B/b.go --
+package x
+
+func _(i int) {
+	i = B(File.Name()) //@acceptcompletion(re"Nam()", "Name", B)
+}
+
+-- c.go --
+package x
+
+func _(i int) {
+	i = C(File.Nam) //@acceptcompletion(re"Nam()", "Name", C)
+}
+
+-- @C/c.go --
+package x
+
+func _(i int) {
+	i = C(File.Name()) //@acceptcompletion(re"Nam()", "Name", C)
+}
+
+-- d.go --
+package x
+
+func _(i int) {
+	i = D(Fil) //@acceptcompletion(re"Fil()", "File", D)
+}
+
+-- @D/d.go --
+package x
+
+func _(i int) {
+	i = D(File) //@acceptcompletion(re"Fil()", "File", D)
+}
+