Является ли это ошибкой в ​​компиляторе Typcript

Question

Я заметил проблему, когда пользовательский тип защиты от типа объединения не ведет себя симметрично. Я надеюсь, что это ошибка на моем конце: -/

Проблема возникает в test2(), где тип не выводится должным образом из типаguard.

class PropPacket { 
    constructor(public key: string, public value: number) {} 
} 

class EventPacket { 
    constructor(public key: string) {} 
} 

type Packet = PropPacket | EventPacket; 

function isPropPacket(p: EventPacket | PropPacket): p is PropPacket { 
    return p instanceof PropPacket; 
} 

function isEventPacket(p: EventPacket | PropPacket): p is EventPacket { 
    return p instanceof EventPacket; 
} 

function test1(p: Packet) { 
    if (isPropPacket(p)) { 
     // `p` is PropPacket 
     p.key; 
     p.value; 
    } else { 
     // `p` is EventPacket 
     p.key; 
    } 
} 

function test2(p: Packet) { 
    if (isEventPacket(p)) { 
     p.key; 
    } else { 
     // ERROR: thinks `p` is `never` type 
     p.key; 
     p.value; 
    } 
} 

Вы можете увидеть проблему, скопировав код в машинописи игровой площадке (https://www.typescriptlang.org/play/)

Answer 1

Это происходит потому, что все EventPacket s фактически PropertyPacket с. У машинописного машиностроения есть структурная система типов, которая не учитывает два класса, которые могут быть разными по декларации, только по содержащимся в них свойствам и методам.