• Robert Griesemer's avatar
    go/types: prepare for delayed type-checking of methods to when they are used · bf924068
    Robert Griesemer authored
    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/139425Reviewed-by: 's avatarAlan Donovan <adonovan@google.com>
    bf924068
Name
Last commit
Last update
..
archive Loading commit data...
bufio Loading commit data...
builtin Loading commit data...
bytes Loading commit data...
cmd Loading commit data...
compress Loading commit data...
container Loading commit data...
context Loading commit data...
crypto Loading commit data...
database/sql Loading commit data...
debug Loading commit data...
encoding Loading commit data...
errors Loading commit data...
expvar Loading commit data...
flag Loading commit data...
fmt Loading commit data...
go Loading commit data...
hash Loading commit data...
html Loading commit data...
image Loading commit data...
index/suffixarray Loading commit data...
internal Loading commit data...
io Loading commit data...
log Loading commit data...
math Loading commit data...
mime Loading commit data...
net Loading commit data...
os Loading commit data...
path Loading commit data...
plugin Loading commit data...
reflect Loading commit data...
regexp Loading commit data...
runtime Loading commit data...
sort Loading commit data...
strconv Loading commit data...
strings Loading commit data...
sync Loading commit data...
syscall Loading commit data...
testdata Loading commit data...
testing Loading commit data...
text Loading commit data...
time Loading commit data...
unicode Loading commit data...
unsafe Loading commit data...
vendor/golang_org/x Loading commit data...
Make.dist Loading commit data...
all.bash Loading commit data...
all.bat Loading commit data...
all.rc Loading commit data...
androidtest.bash Loading commit data...
bootstrap.bash Loading commit data...
buildall.bash Loading commit data...
clean.bash Loading commit data...
clean.bat Loading commit data...
clean.rc Loading commit data...
cmp.bash Loading commit data...
iostest.bash Loading commit data...
make.bash Loading commit data...
make.bat Loading commit data...
make.rc Loading commit data...
naclmake.bash Loading commit data...
nacltest.bash Loading commit data...
race.bash Loading commit data...
race.bat Loading commit data...
run.bash Loading commit data...
run.bat Loading commit data...
run.rc Loading commit data...