tools/go
Robert Griesemer 2bff3a03e7 go.tools/go/types: clean up method type checking
- treat receivers like ordinary parameters when checking signatures;
  concentrate all respective checks in one place
- continue to type-check methods even if receiver base type does not
  satisfy receiver type criteria (comes for free)
- don't ignore blank _ methods anymore
- various related cleanups

As a consequence, the resolving needs one less internal phase.

R=adonovan
CC=golang-dev
https://golang.org/cl/11591045
2013-07-22 20:42:10 -07:00
..
exact go.tools/go/types: clean up assignment checks (round 1) 2013-07-08 09:40:30 -07:00
types go.tools/go/types: clean up method type checking 2013-07-22 20:42:10 -07:00