Fix: Shadowing of output variables in methods in Dafny-to-Rust#6278

Merged

MikaelMayer merged 3 commits intomasterfrom

fix-6261-shadowing-output-variables

Jun 24, 2025

Commits on Jun 23, 2025

Shadowing not for local variables in methods which are the same as one output variable
MikaelMayer
committed
Removed changes on singlepasscodegenerator as they were not necessary
MikaelMayer
committed

Commits on Jun 24, 2025

Merge branch 'master' into fix-6261-shadowing-output-variables
MikaelMayer
authored