```scala 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 https://github.com/lampepfl/dotty/issues/6255 which describes a similar issue for `Expr`.