See src/cmd/compile/internal/types2/README.md.