[go] go/types, types2: improve error message for incomplete alias hashing

0 views
Skip to first unread message

Gopher Robot (Gerrit)

unread,
Jun 25, 2026, 3:15:25 PM (6 days ago) Jun 25
to Mark Freeman, goph...@pubsubhelper.golang.org, golang-...@googlegroups.com, golang...@luci-project-accounts.iam.gserviceaccount.com, Robert Griesemer, golang-co...@googlegroups.com

Gopher Robot submitted the change

Change information

Commit message:
go/types, types2: improve error message for incomplete alias hashing

Currently, there is a known issue when type checking programs like:

type X A
type A = N
type N G[A]
type G[_ any] int

This change just improves the error message from "panic: nil" to
"panic: cannot type hash incomplete alias (see go.dev/...)". This
should prevent duplicate reports like #79655 and #80150.

For #78296
Change-Id: Id89d1d45d60a59164b802f2ea25f27c70ae46cdf
Reviewed-by: Robert Griesemer <g...@google.com>
Auto-Submit: Mark Freeman <markf...@google.com>
Files:
  • M src/cmd/compile/internal/types2/typestring.go
  • M src/go/types/typestring.go
Change size: S
Delta: 2 files changed, 10 insertions(+), 2 deletions(-)
Branch: refs/heads/master
Submit Requirements:
Open in Gerrit
Inspect html for hidden footers to help with email filtering. To unsubscribe visit settings. DiffyGerrit
Gerrit-MessageType: merged
Gerrit-Project: go
Gerrit-Branch: master
Gerrit-Change-Id: Id89d1d45d60a59164b802f2ea25f27c70ae46cdf
Gerrit-Change-Number: 794400
Gerrit-PatchSet: 3
Gerrit-Owner: Mark Freeman <markf...@google.com>
Gerrit-Reviewer: Gopher Robot <go...@golang.org>
Gerrit-Reviewer: Mark Freeman <markf...@google.com>
Gerrit-Reviewer: Robert Griesemer <g...@google.com>
open
diffy
satisfied_requirement
Reply all
Reply to author
Forward
0 new messages