tree ac1d9e30f42a6421d0bb595a4aac3ba4d37b0719
parent cc7d6983044e11af79ce7fd42729be1714961587
author Jonathan Amsterdam <jba@google.com> 1741377904 -0500
committer Jonathan Amsterdam <jba@google.com> 1741729311 -0700

gopls/internal/util/fingerprint/fingerprint: unify type params

Enhance Matches to observe the bindings of type parameters.

Previously, each occurrence of a type parameter matched any type.
For example, matching these two signatures:

    func f[T any](T, T)
    func g(int, bool)

succeeded even though g is not an instantiation of f.

This CL tracks the bindings of type parameters, so that the above
match fails but matching f with this function:

    func h(int, int)

succeeds.

Change-Id: Ia1ed653b24168d8e307593ca98d7c151b9dbb458
Reviewed-on: https://go-review.googlesource.com/c/tools/+/655995
LUCI-TryBot-Result: Go LUCI <golang-scoped@luci-project-accounts.iam.gserviceaccount.com>
Reviewed-by: Alan Donovan <adonovan@google.com>