Test for checking of go and defer statements.

Now that go/types has been updated it works.