scala - Scala3中基于通配符的存在类型

Question

如Scala 3 文档中所述，不能用通配符表示的存在类型通常会被删除。这是我的代码

斯卡拉 2

trait Test[A]

val t: T forSome { type T <: Test[Int] } = null //fine

演示

斯卡拉 3

尝试使用通配符在 Scala 3 中重写它：

trait Test[A]

val t: _ <: Test[Int]  = null //error: Unbound wildcard type

演示

文档就是这么说的

仍然支持可以仅使用通配符（但不是 forSome）表示的存在类型，但被视为精炼类型

问题：为什么我的示例不起作用。有没有办法让它工作？