It is true, but it wasn't meant to be sound, so it's okay. You can do this trick for type-checking emptiness of string literals https://www.typescriptlang.org

It is true, but it wasn't meant to be sound, so it's okay. You can do this trick for type-checking emptiness of string literals https://www.typescriptlang.org/play/?jsx=0#code/C4TwDgpgBAsgrgZ2AOQPbAEIQKIFsygA8AKlBAB7AQB2AJglEgE4CW1A5gHxQC8jwrDmUo16UYgFgAUFCgB+KNQgA3CE2myAXOOFU6DAOQH5ilWqjbiAbmnSAxqmpJFqPARABlAW3a8oJXVEGZh9OAApmbXgkNEwcfCJiTgBKXm5mGylbKQcnYCgmCAQARj9qVwTPbw4wgwAzVFQDZMyAelbZToA9OWzc50KEACYyivcvQXZa5raOzqgevsdncuoAGRYqJgBDABsJnz8wsNSebiNkk8z+-MGAZlG3UAOa1Y2tvZf2Ful2+YXelIgA https://www.typescriptlang.org/play/?jsx=0#code/C4TwDgpgBAsg...