TS by itself is not fully sound which could complicate such a compiler. Example: https://www.typescriptlang.org/play?#code/MYewdgzgLgBAtgTwLIEMAOAxArmYUCW4MAvD

TS by itself is not fully sound which could complicate such a compiler. Example: https://www.typescriptlang.org/play?#code/MYewdgzgLgBAtgTwLIEMAOAxArmYUCW4MAvDABT5QCmcAXDGFnAEZUBOANDCAG7sBmAGxAB3APz1obfGADmAShIA+GAG8AUDBj5+5SjRgqATDABkp7nzZDRMAISlGgwYo1atbKlCxswlgcIiANyaMAC+oZ7evtrUcAB0UCAAylDScmTyIWEhoJCwUAhoVMAo0KiYOHiEYPQUcfSMLOyKxCpSMrIk8Mjo2LgE4Lng0DCeEFiCsKQA2gCMHEYcAMwAuvFw6GSFxaXlfVWDYFkwAPSnMDtUEMDSaLAQKAgQlwAW+C8fMACCbGxPAB4OnIlFxmFhYJQYCJ8M4YKwYCh4PgAB7cXTA2QvFBgAAmDCYrDYEHUQA https://www.typescriptlang.org/play?#code/MYewdgzgLgBAtgTwLI... In the example above, the problem is that typescript allows casting function types to omit optional arguments, and also allows using a function with n arguments as a value where a function with >n arguments is expected