Probably never gonna happen due to how unstable rustc is and due to the fact that a lot of projects require nightly.

It actually appears they have a rust backend, it just isn't listed in the readme.

It's also a myth that you can't generate stable rust.

Surely generating Rust is not a moving target, if you choose to target stable?

It depends on how feasible stable Rust is for popular projects. Many projects mandate nightly. Even if it is a fixed nightly version, the discrepancies across nightly versions add up since they don't just add APIs, they remove them too.

Stable rust is inherently compatible with nightly. Especially if they're in their own crate.

Unstable rustc can compile stable code. For code you'd write with Dafny I highly doubt it would be an issue. Perhaps you have a proof of the opposite?

I've only ever needed nightly when doing something a bit off the beaten path, like targeting microcontrollers. The Linux kernel is another big project that needs unstable. It's much more rare a need than you make it out to be.

For verified Rust there is also https://github.com/creusot-rs/creusot

Cool, thanks! Will have to look into this

I'm working on it! Feel free to launch a discussion in the GitHub project if you are interested, with examples in mind, if have any questions.