将文字投影应用于精炼文字

问题描述

考虑以下示例：

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}。

有什么解决办法吗？

解决方法

尝试在最终投影之前将类型 T#TT2 { type TT4 = Int } 包裹在括号中

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

Types 总是可以用括号括起来

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)