Problem with function types, <T>() => T extends X ? () : ()

Metriche repository

Star

48.455 star (48.455 star)

Metriche merge PR

Merge medio 6g 17h (Merge medio 6g 17h)9 PR mergiate in 30 g (9 PR mergiate in 30 g)

Descrizione

type Fn<X> = <T>() => T extends X ? 1 : 2
type Equals<X, Y> =
  Fn<X> extends
  Fn<Y> ? true : false

type A = Equals<{readonly a: 'A'}, {a: 'A'}>

type Fn1<X> = <T>() => T extends X ? 1 : 2
type Fn2<X> = <T>() => T extends X ? 1 : 2
type Equals<X, Y> =
  Fn1<X> extends
  Fn2<Y> ? true : false

type A = Equals<{readonly a: 'A'}, {a: 'A'}>

Guida contributor

Direzione di ricerca

Indaga l'algoritmo di equivalenza dei tipi in checker.ts di TypeScript, in particolare come vengono confrontati i tipi condizionali all'interno dei tipi di funzione generici. Il problema mostra che Equals<{readonly a: 'A'}, {a: 'A'}> restituisce erroneamente true. Esamina la logica di tipizzazione strutturale per i tipi di funzione con vincoli generici e perché il modificatore readonly viene ignorato. Cerca problemi o test esistenti relativi al 'confronto dei tipi di funzione' e a 'readonly' nei tipi condizionali.

Tech stack

typescript

Dominio

Nessuno

Tipo issue

Bug

DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.

4

Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.

3-5 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

TypeScriptGit

Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.

25