]> Cypherpunks repositories - gostls13.git/commit
[dev.typeparams] go/types: use Checker-provided type parameter IDs when possible
authorRob Findley <rfindley@google.com>
Thu, 6 May 2021 13:08:32 +0000 (09:08 -0400)
committerRobert Findley <rfindley@google.com>
Fri, 4 Jun 2021 10:02:38 +0000 (10:02 +0000)
commit298149a915dd9b2ce74593f5f75584f8ed6d6414
tree16a26fbb517ba5eb1cce8c2c39a030e70707f665
parent2175e2f57331cbcd32bccc47fa7fe7a6874a69a3
[dev.typeparams] go/types: use Checker-provided type parameter IDs when possible

Incrementing type parameter subscripts for each type checking pass is
distracting for an interactive program where packages are type-checked
on each keystroke.

We should perhaps hide the type parameter ID altogether, but for now at
least add a layer of indirection so that type parameters for a single
type-checked package can be stabilized.

This change should have no effect on non-generic type checking.

For #46003

Change-Id: I60d747e0a2bfb68e7d64e897eac23f609a2a4429
Reviewed-on: https://go-review.googlesource.com/c/go/+/321269
Trust: Robert Findley <rfindley@google.com>
Run-TryBot: Robert Findley <rfindley@google.com>
TryBot-Result: Go Bot <gobot@golang.org>
Reviewed-by: Robert Griesemer <gri@golang.org>
src/go/types/api_test.go
src/go/types/api_typeparams.go
src/go/types/check.go
src/go/types/type.go
src/go/types/types_test.go