tree b3884f8f543021f29958b421c683081ddb5976f3
parent 3883e4a5495eb37c806df821af069c3fc50f0d15
author Robert Findley <rfindley@google.com> 1631633436 -0400
committer Robert Findley <rfindley@google.com> 1633106709 +0000

go/types/objectpath: add support for type parameters

This CL adds an initial draft of support for type parameters in the
go/types/objectpath package. For now, introduce two new operators:
 - the 'T' operator (type->type), which requires an integer operand and
   goes from *Named and *Signature types to the type parameter at the
   given index.
 - the 'C' operator (type->type), which goes from a *TypeParam type to
   its constraint.

Along the way, reorganize the path tests and update some errors messages
to consistently format the expected type with %T.

Fixes golang/go#48588

Change-Id: Ibdf03a86b7d8e24a8faa1f2fc42f2be8db20ca75
Reviewed-on: https://go-review.googlesource.com/c/tools/+/350148
Trust: Robert Findley <rfindley@google.com>
Run-TryBot: Robert Findley <rfindley@google.com>
TryBot-Result: Go Bot <gobot@golang.org>
gopls-CI: kokoro <noreply+kokoro@google.com>
Reviewed-by: Tim King <taking@google.com>