golang/go

cmd/compile: exponential compile-time with nested generic instantiations

Open

#78 342 ouverte le 25 mars 2026

Voir sur GitHub
 (2 commentaires) (0 réactions) (0 assignés)Go (133 883 stars) (19 008 forks)batch import
NeedsFixToolSpeedcompiler/runtimehelp wanted

Description

Go version

go 1.26.1 / tip

Output of go env in your module/workspace:

GOARCH=arm64

What did you do?

case 1:

package p

type T[P any] struct { _,_,_,_,_,_,_,_ P }

type U T[T[T[T[T[T[T[T[T[T[int]]]]]]]]]]

case 2:

package p

type T[P any] struct { _,_,_,_,_,_,_,_ P }

type U T[T[T[T[T[T[T[T[T[T[T[int]]]]]]]]]]]

case 3:

package p

type T[P any] struct { _,_,_,_,_,_,_,_ P }

type U T[T[T[T[T[T[T[T[T[T[T[T[int]]]]]]]]]]]]

Run go build on the above and measure the time.

What did you see happen?

Very long compile time.

What did you expect to see?

Fast compilation.

Guide contributeur

Stack technique
go
Domaine
performance
Type d'issue
bug
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
5
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
over 1 week
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
fresh
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
clear
Prérequis
knowledge of Go generics
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
10
Direction de recherche
Investigate the type substitution algorithm in the Go compiler's generic instantiation code, likely in cmd/compile/internal/types2 or similar. Look for exponential growth in nested instantiations. Consider adding memoization or limiting recursion depth. The issue provides test cases with increasing depth (10, 11, 12).