We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
The following code works on 2.13.1 but with dotty 0.23.0-RC1, i get a Unreachable case warning
"?johndoe" match { case s":$name" => println(s":name $name") case s"{$name}" => println(s"{name} $name") case s"?$pos" => println(s"pos $pos") }
3 | case s"{$name}" => println(s"{name} $name") | ^^^^^^^^^^ | Unreachable case 4 | case s"?$pos" => println(s"pos $pos") | ^^^^^^^^ | Unreachable case pos johndoe
The text was updated successfully, but these errors were encountered:
Fix scala#8758: strengthen the precondition for comparing extractors
74e46c5
The extractor `StringContext#s.unapplySeq` may have different prefix, thus we may not assume they are the same.
Merge pull request #8789 from dotty-staging/fix-8758
5772538
Fix #8758: strengthen the precondition for comparing extractors
liufengyun
Successfully merging a pull request may close this issue.
The following code works on 2.13.1 but with dotty 0.23.0-RC1, i get a Unreachable case warning
Output
The text was updated successfully, but these errors were encountered: