この２つは書き方が違うだけでまったく同じですよね？

全く同じかというと微妙に違うんですが、殆ど問題はないと思います saveXXXのメインスレッド内での処理が、画面遷移の後と先どちらに挟まるかが変わる

↑の話、この例では問題なさそうなんですが、

とかになると順番入れ替えで対応できないので、 async let で Void を受けるべきケースがあるだろうなと思って書きました。