Skip to content

go/types, types2: order dependent type checker crash on incomplete value of alias #79265

@mrkfrmn

Description

@mrkfrmn

This crashes at tip:

type A I

type I = interface {
	m() T
}

type T [unsafe.Sizeof(I(nil))]int

This does not:

type I = interface {
	m() T
}

type T [unsafe.Sizeof(I(nil))]int

Note: this is an ordering bug with aliases that does not rely on type instantiation to trigger. I think the fix is probably just to expand the isComplete check to also cover alias types.

Metadata

Metadata

Assignees

Labels

BugReportIssues describing a possible bug in the Go implementation.NeedsInvestigationSomeone must examine and confirm this is a valid issue and not a duplicate of an existing one.

Type

No type
No fields configured for issues without a type.

Projects

No projects

Relationships

None yet

Development

No branches or pull requests

Issue actions