TypeScript Version: 3.6.0-dev.20190603
Search Terms:
never, extends, generic, conditional type
Code
type MakesSense = never extends never ? 'yes' : 'no' // Resolves to 'yes'
type ExtendsNever<T> = T extends never ? 'yes' : 'no'
type MakesSenseToo = ExtendsNever<{}> // Resolves to 'no'
type Huh = ExtendsNever<never> // Expect to resolve to 'yes', actually resolves to never
Expected behavior:
Huh should resolve to 'yes', as MakesSense does.
Actual behavior:
Huh resolves to never.
For another variant, you can change ExtendsNever to
type ExtendsNever<T extends never> = T extends never ? 'yes' : 'no'
and ExtendsNever still resolves to never.
Playground Link:
Here
Related Issues:
None
someBrown, huan, yinsang, ahamed, boy-bobby and 5 more
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4