Fix: Tail-Recursion for the Dafny-to-Rust compiler#5668

MikaelMayer merged 11 commits intomasterdafny-lang/dafny:masterfrom

fix-5647-tail-recursion-rust-fixupdafny-lang/dafny:fix-5647-tail-recursion-rust-fixupCopy head branch name to clipboard