redirectのURLの省略がよく分からなかったが意味が分かった Railsチュートリアル 7.4.1

redirect_to @user

といった行がありますが、これは次のコードと等価になります。

redirect_to user_url(@user)

これはredirect_to @userというコードから (Railsエンジニアが) user_url(@user)といったコードを実行したいということを、Railsが推察してくれた結果になります。

https://railstutorial.jp/chapters/sign_up?version=5.1#table-RESTful_users