https://scalapedia.com 質問・相談など何でもどうぞ。不具合・Typo・誤訳・改善提案などはGitHubでも受付中です https://github.com/scalapedia/issue/issues
Dotty の reference みる限り as pattern そのものは残ってる感じですね。
https://dotty.epfl.ch/docs/reference/changed-features/pattern-matching.html#boolean-match
現状だと @
そのものが使われなくなるかのように読めてしまうので表現を修正した方が良さそうに思いました。
たぶん case xs @ Seq(1, ys:_*) =>
は Dotty でも valid なパターンと思われます。
「これと同様の意味合いの内容だが、パターンマッチにおいてのみ@記号で書く」という、特殊な記法がなくなりました。
という1文ばっさり削ってしまってもいいかもですね?
Scala の記事参考にしています!こちらの記事でリンクがおかしいものに気づいたので共有しておきます。
https://scalapedia.com/articles/102/%E6%AC%A1%E4%B8%96%E4%BB%A3Scala%E3%80%8CDotty%E3%80%8D+3%E3%81%A4%E3%81%AE%E3%81%AD%E3%82%89%E3%81%84%E3%83%BB7%E3%81%A4%E3%81%AE%E6%96%B0%E3%81%97%E3%81%95%E3%82%92%E3%81%94%E7%B4%B9%E4%BB%8B
参考:[this]修飾子:Scala 3で廃止予定の機能(12)