rustfmt used to be part of the refactoring tool but currently isn't part of refactoring or translation. I believe that formatting with rustfmt should be part of the translation tool. Doing so will make reading the generated code nicer, makes it so the transpiler code doesn't ever need to care about formatting, and matches user expectations.