Comment Comment by debugnik Not really, I provided these examples a couple weeks ago on another HN thread. TypeScript is simply unsound.https://www.typescriptlang.org/play/?#code/MYewdgzgLgBAllApg...https://www.typescriptlang.org/play/?#code/DYUwLgBAHgXBB2BXA... parent debugnik 11 months ago
https://www.typescriptlang.org/play/?#code/MYewdgzgLgBAllApg...
https://www.typescriptlang.org/play/?#code/DYUwLgBAHgXBB2BXA...