]> Cypherpunks repositories - gostls13.git/commit
[dev.typeparams] go/types: import changes to types.Info from dev.go2go
authorRob Findley <rfindley@google.com>
Tue, 15 Dec 2020 14:49:10 +0000 (09:49 -0500)
committerRobert Findley <rfindley@google.com>
Tue, 15 Dec 2020 20:09:55 +0000 (20:09 +0000)
commit1306435103558c4718e0ff3cba5ab2b8e2e34ec5
treea6dfe9e2c196ce6462c1aaf0625e7454a73a8ecc
parent6b18081d01f6f87b9af9e5b3910f1379d52a13eb
[dev.typeparams] go/types: import changes to types.Info from dev.go2go

Import changes related to tracking type inferences and sanitizing
types.Info from the dev.go2go branch. Notably, the following were all
intentionally omitted from this import:
 + types.Error.Full is not imported, due to it being a public API that
   requires some further thought.
 + The Config.AcceptMethodTypeParams, InferFromConstraints, and Trace
   flag are not imported. The expectation is that we will not accept
   method type parameters for now, will always infer from constraints,
   and will continue to use the trace constant to guard tracing.
 + Some trace annotations are not imported to from the checking pass. We
   can add them back later, but for now they seemed verbose.
 + Checker.useBrackets is removed. This is no longer configurable.

Change-Id: I7f6315d66b200c92ffd1e55c9fd425a5d99149ed
Reviewed-on: https://go-review.googlesource.com/c/go/+/278312
Run-TryBot: Robert Findley <rfindley@google.com>
TryBot-Result: Go Bot <gobot@golang.org>
Trust: Robert Findley <rfindley@google.com>
Trust: Robert Griesemer <gri@golang.org>
Reviewed-by: Robert Griesemer <gri@golang.org>
src/go/types/api.go
src/go/types/check.go
src/go/types/lookup.go
src/go/types/object.go
src/go/types/sanitize.go [new file with mode: 0644]