3 ms·Can you make an example of TypeScript's unsoundness that cannot be fixed with better encodings?by epolanski 9mo agoCan you make an example of TypeScript's unsoundness that cannot be fixed with better encodings?