Incorrect report of self-referencing type for static fields

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

function id<T>(x: T): T {
  return x
}

const Foo = id(class {
  static readonly foo = id(42) // Error TS7022
})

const Ok = class {
  static readonly foo = id(42) // No error
}

Guida contributor

Direzione di ricerca

Indaga perché il tipo di `Foo` viene erroneamente inferito come autoriferimento quando si utilizza `id(class {})` ma non quando si utilizza la classe direttamente. Esamina l'inferenza del tipo per funzioni generiche che incapsulano espressioni di classi con campi statici. Guarda la gestione dell'"autoriferimento" nel checker quando la classe viene passata immediatamente a una funzione generica.

Tech stack

typescript

Dominio

developer experience

Tipo issue

Bug

DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.

2

Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.

1-3 ore

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.

75