tree aa92cddc2692cd09488d33261e7ac2ef1fa8877c
parent 66bbba3d58b08b34aaf65516ae70d820b70b7b3e
author Alan Donovan <adonovan@google.com> 1656108635 -0400
committer Alan Donovan <adonovan@google.com> 1656355192 +0000

refactor/satisfy: don't crash on type parameters

This change causes the satisfy constraint pass to correctly handle
type parameters. In nearly all cases this means calling coreType(T)
instead of T.Underlying(). This, and the addition of cases for
C[T] and C[X, Y], should make the code robust to generic syntax.

However, it is still not clear what the semantics of constraints
are for the renaming tool. That work is left to a follow-up.

Also, add a test suite that exercises all the basic operators,
using generics in each case.

Fixes golang/go#52940

Change-Id: Ic1261eb551c99b582c35fadaa148b979532588df
Reviewed-on: https://go-review.googlesource.com/c/tools/+/413690
Reviewed-by: Robert Findley <rfindley@google.com>