Estoy actualizando el código a tipos primero y atascado en la necesidad de declarar explícitamente el tipo de componente de reacción genérico a través de anotaciones de flowjs

 // @flow import * as React from 'react'; type P<TArg> = { items: TArg[], onSelect: (props: TArg) => void } type Item = { key: string } class Autocomplete<TElem: Item> extends React.Component<P<TElem>> { } //its external function provided via import, i put it here for simplicity function woodoo<F>(v: F): F { return v }

Si trato de exportar el resultado de llamar a la función:

 export default woodoo(Autocomplete)

Obtendré el siguiente error:

No se puede construir una interfaz con tipo para este módulo. Debe anotar las exportaciones de este módulo con tipos. No se puede determinar el tipo de esta expresión de llamada. Proporcione una anotación, por ejemplo, agregando un tipo de conversión alrededor de esta expresión. Flujo (fallo de verificación de firma)

Si intento exportarlo a través de un componente:

 export default (woodoo(Autocomplete): Autocomplete)

Obtendré el siguiente error:

No se puede usar Autocomplete [1] sin 1 tipo de argumento.Flow(missing-type-arg)

Sé que la exportación debería ser más como

 export default (woodoo(Autocomplete): React$ComponentType<????>)

pero no sé qué poner en los respaldos angulares para lograr una escritura adecuada.

Hacer que el componente sea covariante en lugar de genérico no es válido, ya que el valor esperado que se pasa en la función onSelect es exactamente el mismo que se proporciona a través de la propiedad items y el uso de la covarianza no produciría el mismo nivel de rigurosidad que el uso del genérico.