Hacker News Reader

However that may be, I am really curious to see an example of an unconvertible type definition.

As of the latest version of TypeScript, there aren't any anymore. There's a discussion in a TypeScript GitHub issue about it, but I can't find it now.

Reply on news.ycombinator.com