Can I specify constraints on type members of type parameters?

Question

Is it possible to defer type member constraints to the usage site?

trait Query {
  type Result
}

Pseudocode:

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

Answer 1

I can't test it right now, but this should work :

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