我可以在类型参数的类型成员上指定约束吗？

Question

是否可以将类型成员约束推迟到使用地点？

trait Query {
  type Result
}

伪代码：

def fooRequiresAnyRefResults[Q <: Query, Q#Result <: AnyRef]()

Answer 1

我现在无法测试它，但这应该有效：

def f[Q <: Query {type Result <: AnyRef}]() = ...