Generic argument is being narrowed to {}

[asvetliakov]

TypeScript Version: 2.3.3 / nightly (2.4.0-dev.20170523)

Code

// A *self-contained* demonstration of the problem follows...
interface TestProp<T> {
    a: number;
    b: T;
}

declare function TestC<T>(props: TestProp<T>): void;
declare function TestW<Props>(comp: (props: Props) => void): Props;

const p = TestW(TestC);

Expected behavior:
p is type TestProp<any> or TestProp<{}>

Actual behavior:
p is type {}

[mhegazy]

Duplicate of #9366

[mhegazy]

Automatically closing this issue for housekeeping purposes. The issue labels indicate that it is unactionable at the moment or has already been addressed.