`expectType` generic causes incorrect inference

[mmkal]

expectType doesn't work properly with generic functions. Here's a repro:

import {expectType} from 'tsd'

declare const inferrable: <T = 'SomeDefaultValue'>() => T

expectType<number>(inferrable()) // passes, should fail

I'm not sure if it's possible to fix given the API design, but here's the same test using expect-type which fails as it should.

import {expectTypeOf} from 'expect-type'

declare const inferrable: <T = 'SomeDefaultValue'>() => T

expectTypeOf(inferrable()).toEqualTypeOf<number>() // fails as expected, because `inferrable()` returns type `'SomeDefaultValue'`

[ilchenkoArtem]

I have this issue too

[tommy-mitchell]

Added a test. @sindresorhus do you have any idea how to go about fixing this? From the conversation in dot-prop it seems no, but it could be worth further looking into.

[sindresorhus]

do you have any idea how to go about fixing this?

No

[sindresorhus]

Added a test

Can you submit it it (commented out)?

[tommy-mitchell]

By submit it do you mean as a PR?

[sindresorhus]

Yes