]> Cypherpunks.ru repositories - gostls13.git/commit
go/types, types2: substitute for type parameters in signatures when
authorRobert Findley <rfindley@google.com>
Mon, 22 Nov 2021 17:47:53 +0000 (12:47 -0500)
committerRobert Findley <rfindley@google.com>
Mon, 22 Nov 2021 20:32:29 +0000 (20:32 +0000)
commit773f43b35638092f9c0dc56f4a468dce2eb3a8ef
tree7245582234f832258a7222ec8923da8d6a9c062b
parent189b4a2f428be7264db76e5275c96d98b847383b
go/types, types2: substitute for type parameters in signatures when
comparing type identity

Generic signatures should be considered identical modulo type parameter
renaming. Update Identical to reflect this, by substituting type
parameters.

Fixes #49722

Change-Id: I33743768c72d8aa59c29bf72fcbabc5974f0b805
Reviewed-on: https://go-review.googlesource.com/c/go/+/366178
Trust: Robert Findley <rfindley@google.com>
Run-TryBot: Robert Findley <rfindley@google.com>
Reviewed-by: Robert Griesemer <gri@golang.org>
TryBot-Result: Go Bot <gobot@golang.org>
src/cmd/compile/internal/types2/api_test.go
src/cmd/compile/internal/types2/predicates.go
src/go/types/api_test.go
src/go/types/predicates.go