Fix after API change in go.tools/go/types