Typescriptコンパイラでこれがエラーですか？

Question

ユニオンタイプのユーザー定義型ガードが対称的に動作しないという問題が発生しました。私はこれが私の最終的なエラーです： -/

test2()に問題が現れ、タイプガードからタイプが正しく推測されません。

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; 
    } 
} 

すべてEventPacket sが実際にPropertyPacket秒ですので、これが起こる（https://www.typescriptlang.org/play/）

Answer 1

typescriptです遊び場にコードを貼り付けることで、問題を見ることができます。 Typescriptは、2つのクラスが宣言によって区別されるとは考えていない構造型システムを持っています。