score:1

the issue is that scala can't infer t here because it only has z in the arguments (i don't see a reason it couldn't, in this case). the obvious way to fix it is dosomethingontopofaneventtrace[concreteevent, concreteeventtrace[concreteevent]](concreteeventtrace). another, if you don't actually need to be generic in z:

def dosomethingontopofaneventtrace[t <: event](eventtrace: eventtrace[t])

you could also try to use type members instead of generics in event and eventtrace.


Related Query

More Query from same tag