Kann ich Einschränkungen für Typ-Member von Typparametern angeben?

Question

Ist es möglich, type member constraints auf die Verwendungsstelle zu verschieben?

trait Query { 
    type Result 
} 

Pseudocode:

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

Answer 1

Ich kann es nicht testen, gerade jetzt, aber dies sollte funktionieren:

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