if you want to see the type checker in action see this short tutorial on go analyze:

https://golang.org/lib/godoc/analysis/help.html