We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
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
import scala.quoted._ def summonTypedType[T : Type](using QuoteContext): String = '[T] match { case '[Boolean] => "Boolean" case '[Byte] => "Byte" case _ => "Other" }
In 0.26.0-RC1 this results in a warning even though the case is reachable and will be taken correctly when evaluating the match:
[warn] -- [E030] Match case Unreachable Warning: /mnt/c/Users/szeiger/code/dottyquery/src/main/scala/dottyquery/Test.scala:67:9 [warn] 67 | case '[Byte] => "Byte" [warn] | ^^^^^^^ [warn] | Unreachable case
Possibly related to #6255 which describes a similar issue for Expr.
Expr
The text was updated successfully, but these errors were encountered:
Fix scala#9489: ignore redundancy check for Type[T]
bcb718a
Fix scala#9489: skip redundancy check for Type[T]
dbf7f02
Merge pull request #9501 from dotty-staging/fix-9489
64cecda
Fix #9489: skip redundancy check for Type[T]
liufengyun
Successfully merging a pull request may close this issue.
In 0.26.0-RC1 this results in a warning even though the case is reachable and will be taken correctly when evaluating the match:
Possibly related to #6255 which describes a similar issue for
Expr
.The text was updated successfully, but these errors were encountered: