Microsoft/TypeScript

Nested destructuring does not narrow dependent parameters

Open

#48.378 aperta il 22 mar 2022

Vedi su GitHub
 (2 commenti) (0 reazioni) (0 assegnatari)TypeScript (6726 fork)batch import
BugDomain: check: Control FlowHelp Wanted

Metriche repository

Star
 (48.455 star)
Metriche merge PR
 (Merge medio 6g 17h) (9 PR mergiate in 30 g)

Descrizione

Bug Report

🔎 Search Terms

destructuring destructured dependent parameters nested control flow analysis

🕗 Version & Regression Information

  • This changed between versions 4.5.5 and 4.6

⏯ Playground Link

Playground link with relevant code

💻 Code

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

🙁 Actual behavior

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

🙂 Expected behavior

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

Guida contributor

Direzione di ricerca
Analizza l'analisi del flusso di controllo del checker TypeScript in src/compiler/checker.ts, in particolare come funziona il restringimento di tipo con pattern di destrutturazione annidati. Esamina come il restringimento viene applicato ai parametri dipendenti dopo la destrutturazione. Controlla se esistono utilità esistenti per gestire la destrutturazione annidata nel restringimento. Il problema ha una riproduzione chiara, quindi è possibile scrivere un caso di test ed esplorare la codebase per comprendere la logica mancante.
Tech stack
typescript
Dominio
tooling
Tipo issue
Bug
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
3
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
1-2 giorni
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Attiva
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
GitTypeScript
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
55