testcase.tsx

import * as React from "react";

type TypeA = 'TypeA';
type TypeB = 'TypeB';

interface WithA {
    propertyA: TypeA
}

interface WithAB {
    propertyA: TypeA
    propertyB: TypeB
}

const withB = <P extends WithAB>(
    Component: React.ComponentType<P>
) => (props: WithA) => (
    <Component {...props} propertyB={'TypeB'} />
);

microsoft/TypeScript#28646