The one downside of this proposal is faster typescript processors like esbuild. Right now they don't care about types, they just strip them from the code. It allows them to be very fast and provide fast feedback loop.

With this proposal those tools must become extremely more complicated and probably they will just be as slow as tsc.