A generalized type-def for Higher-Order Components in React.

$HOC.ts

type HOC<InjectedProps, ExtraProps, Args: $ReadOnlyArray<*>> = <D, P, C: React$Component<D, P, any>>(
    component: Class<C>,
    ...rest: Args
) => Class<React$Component<D, $Diff<P, InjectedProps> & ExtraProps, any>>;

declare var injectName: HOC<{name: string}, {bla: Array<number>}, [string, number]>;

type Props = {
  name: string,
  age: number,
  junk: boolean,
}
type DefaultProps = {
  junk: boolean
}
declare var Person: Class<React$Component<DefaultProps, Props, void>>;

<Person name="John Doe" age={123} />;
// $ExpectError -- missing name
// <Person age={123} />;
        
var PersonWithName = injectName(Person, '', 1);
        
<PersonWithName age={123} bla={[]} />; // No Error
// $ExpectError -- missing bla
// <PersonWithName age={123} />;
// $ExpectError -- missing age
// <PersonWithName bla={[]} />;