disjunkte Gewerkschaften mit genauen Typen als Reaktion Komponente Requisiten

Question

diese Dokumentation lesen: https://flow.org/en/docs/types/unions/#toc-disjoint-unions-with-exact-types

... Ich würde erwarten, dass mit einer Reaktion Komponente zu arbeiten, aber ich erhalte eine Fehlermeldung.

Hier ist ein vereinfachtes Fall:

https://flow.org/try/#0C4TwDgpgBAglC8UDeAfKBDAXFYAnArtCgL4DcAUKJFAEILJoBG2ehUJFl40MuA5gGd6cNDU4BjAPYA7AcCgBhegAp0-Adl6CAlAgB8yYuXILlSLDgIRi2igB4l6eElbWoAej3kgA

verstehe ich, warum mit diesem Argument C als Funktion Aufruf eines Fehlers nicht zur Folge, aber warum ein Reagieren Komponente nicht zu schaffen mit diesen Requisiten eine bekommen Error?

Answer 1

Dies ist eigentlich nur ein Problem mit der Verwendung von genauen Typen für die Requisiten einer Komponente. Es ist an issue offen dafür. If you take away the union, und haben nur einen einzigen genauen Typ, gibt es Ihnen eine nützlichere Fehlermeldung.

/* @flow */ 

type A = {| a: true |}; 
type Args = A; 
const C = (args: Args) => null; 
<C a={true} />; 


9: <C a={true} />; 
^props of React element `C`. Inexact type is incompatible with exact type 
7: const C = (args: Args) => null; 
        ^exact type: object type