does not catch `never` type

[dgreene1]

Expected Behavior:

I would expect the following to fail. It does not.

const result: never = () => { throw new Error() };

expectType<string>(result);

[BendingBender]

@dgreene1 @fregante @sindresorhus I've tried to reproduce this issue in the latest version of tsd without success. Can you please confirm that the latest version of tsd is not affected by this?

[JGJP]

@BendingBender
I can confirm that the latest version of tsd is affected by this. The original example needed some amending though:

const returnsNever = () => { throw new Error() }
const result: never = returnsNever()
expectType<string>(result)

[JGJP]

@BendingBender
This fails appropriately when using ts-expect:

expectType<TypeEqual<string, never>>(true)