go/types, types2: panic with mutually recursive unnamed (alias) type constraints

[griesemer]

This program panics during type checking (playground):

package main

func main() {
}

type (
	F[P G[P]] = interface{}
	G[P F[P]] = interface{}
)

[gabyhelp]

Related Issues

• go/types, types2: panic with generic alias #75897
• go/types, types2: panic with mutual instantiation #49043 (closed)
• go/types: recursive type aliases might cause a panic #71284 (closed)
• go/types: panic in instance with invalid recursive constraint #48529 (closed)
• go/types, types2: cycle to ... panics for a variety of types #74928
• go/types, types2: panic with cyclic generic type definition #75882
• cmd/compile: panic for cyclic generic interfaces #56045
• go/types, cmd/compile/internal/types2: stack overflow checking recursive generic type #45550 (closed)
• go/types, types2: cannot handle self-recursive constraints (known bug) #39724 (closed)
• go/types, types2: panic with invalid cyclic program involving unsafe.Sizeof #75918

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