Tengo una curiosidad de flujo con respecto a los tipos de unión y las devoluciones de llamada, donde me parece lógico que el error no puede ocurrir dadas las circunstancias. Me pregunto si estoy teniendo un pedo cerebral, si el flujo simplemente no capta esas cosas, o si es otra cosa.

He reducido el caso de uso a su núcleo con el siguiente enlace Try Flow , pero lo agregaré a continuación para la posteridad. El caso es cuando tengo una función que acepta un tipo de unión, así como una devolución de llamada que acepta el mismo tipo de unión.

Si tengo una función separada que restringe el tipo a solo uno de los tipos en la unión, el flujo aún se queja de que la devolución de llamada podría tener . Me parece que, técnicamente, Flow debería tener suficiente información de forma estática para comprender que esto no puede suceder, pero, de nuevo, tal vez me esté engañando.

 type A = { id: number, aOnly: boolean, } type B = { id: number, bOnly: boolean } type AorB = A | B; /** Main fn that takes in union type, as well as a callback that accepts the union type */ function main(ab: AorB, callback: (AorB) => boolean): void { callback(ab); } /** ONLY allows type A, therefore the callback should only be receiving type A in this scenario, yet flow thinks it could have either type */ function processA(a: A): void { main(a, (a) => { /* Cannot get `a.aOnly` because property `aOnly` is missing in `B` */ return a.aOnly; }); } /** Running the following gets: Cannot get `a.aOnly` because property `aOnly` is missing in `B` */ processA({ id: 123, aOnly: true });

¿Qué está pasando exactamente aquí? ¿Hay una solución a esto que no implique agregar condicionales o uniones disjuntas?