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

Question

考虑以下示例：

trait T3

trait T2{
  type TT4
  type TT3 <: T3
}

trait T1{
  type TT2 <: T2
}

现在我想写一个大致看起来像的函数

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

不幸的是，这不是一个有效的语法。完全可以写出这样的函数

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

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

有什么解决方法吗？

Answer 1

尝试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)