Narrow type by `typeof value extends Type ? any : never`

[LongTengDao]

Search Terms

Suggestion

Narrow type by typeof value extends Type ? any : never.

Use Cases

declare const x :number | string;
if ( typeof x!=='string' ) { throw TypeError(); }
x;// string

Make inline type narrow code can be util function.

Examples

declare function throwNonString (value :unknown) :typeof value extends string ? void : never;

declare const x :number | string;
throwNonString(x);
x;// string

Checklist

My suggestion meets these guidelines:

• This wouldn't be a breaking change in existing TypeScript/JavaScript code
• This wouldn't change the runtime behavior of existing JavaScript code
• This could be implemented without emitting different JS based on the types of the expressions
• This isn't a runtime feature (e.g. library functionality, non-ECMAScript syntax with JavaScript output, etc.)
• This feature would agree with the rest of TypeScript's Design Goals.

[RyanCavanaugh]

The syntax for this is

declare function throwNonString(value: unknown): asserts value is string;

[LongTengDao]

@RyanCavanaugh Thank you! And I try to find this syntax in docs again, but I can't find it. Is it forgotten to write in docs?

[fatcerberus]

https://www.typescriptlang.org/docs/handbook/release-notes/typescript-3-7.html#assertion-functions

[LongTengDao]

@fatcerberus Thank you! So it's not in category docs yet... (Only in release notes)