将类型投影应用于精炼类型

Question

考虑以下示例：

trait T3

trait T2{
  type TT4
  type TT3 <: T3
}

trait T1{
  type TT2 <: T2
}

现在我想写一个 function 大致看起来像

def test[T <: T1](t: T#TT2{type TT4 = Int}#TT3) = println(t)  //invalid syntax

不幸的是，这不是一个有效的语法。 完全可以像这样写一个 function

def test[T <: T1](t: T#TT2#TT3) = println(t)

但我想对T#TT2添加更严格的限制，使其成为精炼的类型T#TT2{ type TT4 = Int} 。

有什么解决方法吗？

Answer 1

尝试在最终投影之前将 type T#TT2 { type TT4 = Int }包装在括号中，如下所示

def test[T <: T1](t: (T#TT2 { type TT4 = Int })#TT3) = ???

类型总是可以用括号括起来

SimpleType        ::=  SimpleType TypeArgs
                      |  SimpleType ‘#’ id
                      |  StableId
                      |  Path ‘.’ ‘type’
                      |  Literal
                      |  ‘(’ Types ‘)’      <======= note the parentheses

例如

scala> val xs: (List[(Int)]) = List(42)
val xs: List[Int] = List(42)