]> Cypherpunks repositories - gostls13.git/commit
go/types: prepare for delayed type-checking of methods to when they are used
authorRobert Griesemer <gri@golang.org>
Thu, 4 Oct 2018 00:50:02 +0000 (17:50 -0700)
committerRobert Griesemer <gri@golang.org>
Fri, 5 Oct 2018 17:56:11 +0000 (17:56 +0000)
commitbf9240681dec2664f6acc1695e517e985d2b85d3
treea746b1d77f9f0d7c1b8da42c24aac5651822e7b7
parentf2c1c7acf84a6ea8092f3b098de177b3265fbace
go/types: prepare for delayed type-checking of methods to when they are used

Remove assumption that methods associated to concrete (non-interface)
types have a fully set up signature. Such methods are found through
LookupFieldOrMethod or lookupMethod, or indexed method access from
a Named type. Make sure that the method's signature is type-checked
before use in those cases.

(MethodSets also hold methods but the type checker is not using
them but for internal verification. API clients will be using it
after all methods have been type-checked.)

Some functions such as MissingMethod may now have to type-check a
method and for that they need a *Checker. Add helper functions as
necessary to provide the additional (receiver) parameter but permit
it to be nil if the respective functions are invoked through the API
(at which point we know that all methods have a proper signature and
thus we don't need the delayed type-check).

Since all package-level objects eventually are type-checked through
the top-level loop in Checker.packageObjects we are guaranteed that
all methods will be type-checked as well.

Updates #23203.
Updates #26854.

Change-Id: I6e48f0016cefd498aa70b776e84a48215a9042c5
Reviewed-on: https://go-review.googlesource.com/c/139425
Reviewed-by: Alan Donovan <adonovan@google.com>
src/go/types/api.go
src/go/types/assignments.go
src/go/types/builtins.go
src/go/types/call.go
src/go/types/conversions.go
src/go/types/decl.go
src/go/types/expr.go
src/go/types/lookup.go
src/go/types/operand.go
src/go/types/type.go
src/go/types/typexpr.go