Is it possible to defer type member constraints to the usage site? <pre class="prettyprint"><code>trait Query { type Result } </code></pre> Pseudocode: <pre class="prettyprint"><code>def fooRequiresAnyRefResults[Q <: Query, Q#Result <: AnyRef]() </code></pre>

I can't test it right now, but this should work : <code>def f[Q <: Query {type Result <: AnyRef}]() = ...</code>

Can I specify constraints on type members of type parameters?

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

trait Query {
  type Result
}

Pseudocode:

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

603

asked Mar 02 '14 12:03

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

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

117

answered Oct 22 '22 04:10

If you love us? You can donate to us via Paypal or buy me a coffee so we can maintain and grow! Thank you!