Microsoft/TypeScript

Differing user-defined type guard and 'typeof' type guard behaviour when narrowing 'any'

Open

#6015 aperta il 9 dic 2015

Vedi su GitHub
 (11 commenti) (0 reazioni) (0 assegnatari)TypeScript (6726 fork)batch import
Effort: ModerateHelp WantedSuggestion

Metriche repository

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

Descrizione

In the below code, using a typeof type guard and an equivalent (I thought) user-defined guard, only one error is produced.

var y: any;

// Built-in type guard
if (typeof y === "string") {
    y.hello = true; // Correct error - 'hello' does not exist on type string
}

// Equivalent user-defined type guard
function f(x: any): x is string {
    return typeof x === "string";
}

if (f(y)) {
    y.hello = true; // No error with user-defined guard
}

Playground demo. Looks like user-defined type guards won't narrow from any, in any circumstances, as far as I can tell.

Guida contributor

Direzione di ricerca
Indaga la logica di narrowing del type checker di TypeScript per i type guard definiti dall'utente quando il tipo ristretto è 'any'. Confronta con l'implementazione del type guard typeof incorporato.
Tech stack
typescript
Dominio
compilers
Tipo issue
Bug
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
3
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
Mezza giornata
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
TypeScript
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
40