我可以指定類型參數的類型成員的約束嗎？

Question

是否可以推遲使用網站的成員約束類型？

trait Query { 
    type Result 
} 

僞代碼：

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

Answer 1

我現在不能測試，但這應該工作：

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