I guess the real question is whether you trust rustfmt 100% not to mess up code correctness.
To maintain the not rocket science rule, every commit posted to master should already be tested. Even if we want to keep the format commit separate from the bors merge commit, we should still have the format commit before the test.
Speaking hypothetically based on pseudoscript and a regular cargo project, the bors workflow shifts from
git merge
if cargo test
git push
to
git merge
if not cargo fmt --check
cargo fmt
git commit
if cargo test
git push
This “should” be a relatively “small” change: add a rustfmt invocation to bors after the merge, and commit if changed.