I don't know of anything that does those rewrites (and haven't looked), but it looks like gofmt -s could support it by extending this type-switch:
https://cs.opensource.google/go/go/+/master:src/cmd/gofmt/simplify.go;l=16-103;drc=9b89c380208ea2e85985ee6bf2b1d684274dfa1d
I like the idea of an automatic rewrite of those loop primitives, though.
(it's possible that the x := x case may need type/declaration-location information that gofmt doesn't have to do robustly, though)
Note: the go fix directory hasn't had any commits since August, so it doesn't appear to have it either. (that might be the right place for that rewrite -- although, I think vet also has a suggested fix capacity that would make sense for any module with the go line set to 1.22+)