> Copilot 3.9, a stream-based DSL for writing and monitoring embedded C programs, with an emphasis on correctness and hard realtime requirements.

I hate to say it.

This is something that actually, genuinely should, be re-written in Rust.

This alternative Rust compiler's intermediate representation is C code, which is then run through another compiler to produce the final output: https://github.com/thepowersgang/mrustc

Should its author generate Rust from Rust? Would it be better if Copilot produced object files or executables directly, or used eg. LLVM IR?