if you want to see the type checker in action see this short tutorial on go analyze:<p><a href="https:&#x2F;&#x2F;golang.org&#x2F;lib&#x2F;godoc&#x2F;analysis&#x2F;help.html" rel="nofollow">https:&#x2F;&#x2F;golang.org&#x2F;lib&#x2F;godoc&#x2F;analysis&#x2F;help.html</a>