Flow verlieren Literaltyp in Kreuzung Typ

Question

Ich mache mein erstes Flow-Projekt und ich bin mit einem "seltsamen" Verhalten fest.

Hier ist ein minimalistischer Code, mein Problem zu reproduzieren

type PropBase = { name: string } 

export type PropTyped = 
    | { type: 'string', value: string } 
    | { type: 'number', value: number } 

export type Prop = PropBase & PropTyped 

const p1: Prop = { name: 'prop1', type: 'string', value: 'coucou' }; 
// Error 
const p2: Prop = p1; 

Der Fehler ist:

10: const p2: Prop = p1; 
        ^intersection type. This type is incompatible with 
7: export type Prop = PropBase & PropTyped 
           ^union: object type(s) 

(Flow-v0.47.0, try flow)

Fluss der zu "verlieren" scheint wörtlicher Typ ... Aber warum? Mache ich etwas falsch ?

Answer 1

Die Antwort ist, dass dies noch nicht von Flow unterstützt wird.

Eine Lösung ist die Kreuzung in jeder Typdeklaration zu verwenden:

export type PropBase = { name: string } 

export type PropTyped = 
    | { type: 'string', value: string & PropBase } 
    | { type: 'number', value: number & PropBase} 

Here is a dedicated issue, ich weiß nicht, ob es eine kurze Zeit Plan ist es, diesen Fall zu behandeln.