scala - 当 A 显然是单例时，“A 没有可用的单例值”

Question

我无法弄清楚为什么这段代码不会编译并失败：

A 没有可用的单例值，
其中： A 是具有约束 >: ("yo" : String) 和 <: 单例的类型变量

case class Wrapper[A <: Singleton](a: A)(using ValueOf[A])

def test[A <: Singleton](blabla: Wrapper[A]): Unit = ()

test(Wrapper("yo"))

这是预期的还是 Scala 3 中的错误？

请注意，如果我提取Wrapper("yo")然后它的工作原理：

case class Wrapper[A <: Singleton](a: A)(using ValueOf[A])

def test[A <: Singleton](blabla: Wrapper[A]): Unit = ()

val value = Wrapper("yo")
test(value)

标签： scalagenericsscala-3singleton-type