Is it some fundamental restriction (I really see none) or as Eric Lippert usually says: nobody just has proved it's worth implementing feature?
Asked
Active
Viewed 64 times
4
-
2I'll just add that I miss that feature sometimes, in Scala concrete classes also can be co/contravariant... – Patryk Ćwiek May 15 '14 at 12:32
-
1Offtopic: Eric also wrote in one of his posts that in Scala you can say that expect some type which does this and that. Prototypical genereic restrictions. I REALLY miss this feature in C#. Quite often I need to require that a set of properties or methods is implemented. – Pavel Voronin May 15 '14 at 12:43