Surely the ability to compile your WASM is a pretty big benefit over TypeScript, if it’s something you need.

AssemblyScript exists.

AssemblyScript seems to be seriously languishing these days, and the team has falling-outs with a lot of the Wasm ecosystem.

Which I actually agree with, as the Wasm ecosystem is trying to be yet another UNCOL outside the browser, bringing CORBA back while pretending it is some great new idea.

Sure. It isn’t TypeScript though.

C subset + compiler extensions for some embedded systems isn't proper C, and people still call it C, given how close enough it is.