x/example/gotypes: update for go/types.Alias

[timothy-king]

golang.org/x/example/gotypes should be updated to include changes in 1.{22,23,24} to support materialized aliases.

The main packages doc, hugeparam, and skeleton may need to be updated to set gotypesalias=1 by default for toolchains >= 1.24. Otherwise that will not be able to type check inputs with type parameterized aliases (1.24).

[gabyhelp]

Related Issues

• go/types, x/tools: help tool authors support the new go/types.Alias node #67263
• x/tools/gopls: handle go1.22's go/types.Alias #64581 (closed)
• all: audit x/ repos for gotypesalias settings #69772
• go/types: API changes to support explicit Alias nodes #63223 (closed)
• golang.org/x/exp/apidiff: support for go/types.Alias #70695
• x/build: add tip builders with GOEXPERIMENT=aliastypeparams=1 for at least go and x/tools repo #69121 (closed)

Related Code Changes

• doc: document GOEXPERIMENT=aliastypeparams in release notes
• spec: document that alias declarations can have type parameters with 1.24

Related Documentation

• What's in an (Alias) Name? > Availability

_{(Emoji vote if this was helpful or unhelpful; more detailed feedback welcome in this discussion.)}