tree 4ad2990bba98647e3b0a2454d0292e6a40b175ee
parent 135750a71111d228b1b5c552b20eacb227a663be
author Robert Findley <rfindley@google.com> 1638490087 -0500
committer Robert Findley <rfindley@google.com> 1638503847 +0000

47916-parameterized-go-types.md: implicit interfaces, any, TypeParam Index and Underlying

Update the go/types type parameter API proposal to include a final set
of changes:
 - implicit interfaces
 - any outside of constraint position
 - changes to type parameter Underlying
 - addition of TypeParam.Index

I believe this brings the proposal up-to-date for 1.18.

Fixes golang/go#47916

Change-Id: Ie914d6e42a7adff705a4da81139656cce49443d7
Reviewed-on: https://go-review.googlesource.com/c/proposal/+/368956
Trust: Robert Findley <rfindley@google.com>
Run-TryBot: Robert Findley <rfindley@google.com>
Reviewed-by: Robert Griesemer <gri@golang.org>