Microsoft/TypeScript

4.7 regression: Array.flat(infinity) leads to "Type instantiation is excessively deep and possibly infinite." error

Open

#49 280 ouverte le 27 mai 2022

Voir sur GitHub
 (10 commentaires) (15 réactions) (0 assignés)TypeScript (6 726 forks)batch import
BugCursed?Domain: check: Type CircularityHelp Wanted

Métriques du dépôt

Stars
 (48 455 stars)
Métriques de merge PR
 (Merge moyen 6j 17h) (9 PRs mergées en 30 j)

Description

Bug Report

🔎 Search Terms

  • Array.flat
  • Type instantiation is excessively deep and possibly infinite.
  • Nested arrays

🕗 Version & Regression Information

  • This changed between versions 4.6 and 4.7

⏯ Playground Link

TypeScript Workbench with relevant code

💻 Code

interface Config {
  prop?: string;
}

interface ExtendedConfig extends Config {}

type NestedConfigs = Array<ExtendedConfig | NestedConfigs>;

const configs: NestedConfigs[] = [];

const flattened = configs.flat(Infinity);

🙁 Actual behavior

TypeScript raises the following error for the configs.flat(Infinity) call:

Type instantiation is excessively deep and possibly infinite. ts(2589)

🙂 Expected behavior

No error should be raised.

Guide contributeur

Direction de recherche
Examinez la régression introduite dans TypeScript 4.7 qui affecte l'inférence de type pour Array.flat avec une profondeur Infinity. Examinez les modifications dans le vérificateur ou la logique de résolution de type, probablement dans src/compiler/checker.ts. Reportez vous au TypeScript Workbench lié et aux fils de commentaires pour des informations.
Stack technique
typescript
Domaine
developer experience
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.
2
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
1-3 heures
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
Active
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Claire
Prérequis
TypeScript
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
75