I love Rust, but it seems like a really bad intermediate language if you have a compiler/transpiler which is sound. You don't need the type system from Rust telling you something's wrong.

That said, I could see how it would make writing the transpiler easier, so that's a win.