我正在尝试将类型成员定义为单例类型。这是我的尝试:
import shapeless.syntax.singleton._
trait Test{
type Blocked <: Boolean
}
def f(t: Test{ type Blocked = false.narrow }) = ??? // does not compile
def f(t: Test{ type Blocked = false }) = ??? // argument is parsed as t: Test{ type Blocked = Boolean }
有没有办法将类型成员设置为单例类型(Boolean(false)
在我的情况下)?