Typy zależne nie działają dla konstruktorów?
Typy zależne od ścieżki są przydatne:
trait Sys {
type Global
}
def foo[S <: Sys](system: S)(global: system.Global) = ()
Dlaczego to nie działa dla konstruktorów?
class Foo[S <: Sys](val system: S)(val global: system.Global)
Czy po prostu robię to źle?