Métriques du dépôt

Description

destructuring destructured dependent parameters nested control flow analysis

declare const Tuple: [true, string] | [false, number];
const [[val1, val2]] = [Tuple];
if (val1) {
	val2 // string | number
}

TypeScript does not correctly narrow val2 when narrowing val1 if it's in any type of nested destructuring.

I expect it to behave the same as directly destructuring the object.

Direction de recherche: Étudiez l'analyse de flux de contrôle du vérificateur TypeScript dans src/compiler/checker.ts, en particulier comment le rétrécissement de type fonctionne avec les modèles de déstructuration imbriqués. Examinez comment le rétrécissement est appliqué aux paramètres dépendants après la déstructuration. Vérifiez s'il existe des utilitaires existants pour gérer la déstructuration imbriquée dans le rétrécissement. Le problème a une reproduction claire, il est donc possible d'écrire un cas de test et d'explorer la base de code pour comprendre la logique manquante.
Stack technique: typescript
Domaine: tooling
Type d'issue: Bug
Difficulté: 3
Temps estimé: 1-2 jours
Statut d'activité: Active
Clarté: Claire
Prérequis: GitTypeScript
Accessibilité débutant: 55