Scala 3 TypeRepr 匹配更高级的类型

问题描述

如何正确模式匹配更高级类型的 TypeRepr？ Existentials 成功匹配类，但是当我尝试使用类型时，我收到编译器错误 unreducible application of higher-kinded type writetype.Foo to wildcard arguments

import scala.quoted.*

type Foo[X]
class Bar[X]

inline def writeType[T]: String = ${writeTypeImpl[T]}

def writeTypeImpl[T](using Type[T],Quotes): Expr[String] =
  import quotes.reflect.*
  val tpe = TypeRepr.of[T]
  val s = tpe.asType match
    //case '[Foo[?]] => "FooSuccess"
    case '[Bar[?]] => "BarSuccess"
    case _ => "Fail"

  Expr(s)

解决方法

这是您需要的答案：

https://docs.scala-lang.org/scala3/guides/migration/incompat-other-changes.html#wildcard-type-argument

您必须使用 trait 或 abstract class 或 Foo[A]，其中是具体类型（或类型参数）