apidiff: support instantiated generic types

Use types.Types as keys in the map of correspondences, rather than
*types.TypeNames.  There was no reason not do this before, except
convenience; prior to generics, named types were the same iff their
TypeNames were.

Also, update the definition of correspondence to handle instantiated
generic types, by checking that their TypeArg lists and origins

Also, we now don't need the hack that was typesEquivalent.
We can always compare two types from the same world with

Change-Id: Ic5c7bb0be052376367c84da8680ca86b4a1dafc4
Reviewed-on: https://go-review.googlesource.com/c/exp/+/513136
TryBot-Result: Gopher Robot <gobot@golang.org>
Run-TryBot: Jonathan Amsterdam <jba@google.com>
Reviewed-by: Robert Findley <rfindley@google.com>
3 files changed
tree: e144acf3d91e8bec056976c85c8914f6dcf96994
  1. apidiff/
  2. cmd/
  3. constraints/
  4. devtools/
  5. ebnf/
  6. ebnflint/
  7. errors/
  8. event/
  9. inotify/
  10. io/
  11. jsonrpc2/
  12. maps/
  13. mmap/
  14. rand/
  15. shiny/
  16. shootout/
  17. slices/
  18. slog/
  19. sumdb/
  20. typeparams/
  21. utf8string/
  22. .gitattributes
  23. .gitignore
  24. codereview.cfg
  26. go.mod
  27. go.sum
  30. README.md



This subrepository holds experimental and deprecated (in the old directory) packages.

The idea for this subrepository originated as the pkg/exp directory of the main repository, but its presence there made it unavailable to users of the binary downloads of the Go installation. The subrepository has therefore been created to make it possible to go get these packages.

Warning: Packages here are experimental and unreliable. Some may one day be promoted to the main repository or other subrepository, or they may be modified arbitrarily or even disappear altogether.

In short, code in this subrepository is not subject to the Go 1 compatibility promise. (No subrepo is, but the promise is even more likely to be violated by go.exp than the others.)

Caveat emptor.