contravariant argument types: wanna?

[Rainer Deyke]

Andrei Alexandrescu wrote:
> Is there interest in contravariant argument types? If so, do you know of
> a killer example?

I'm usually pretty good at thinking of contrived examples in support of
obscure language features, but I can't think of *any* examples using
contravariant argument types.  If such an example exists, I would love
to see it.

Implicit casting of delegates with contravariant argument types is
another story, and clearly useful.


-- 
Rainer Deyke - rainerd at eldwood.com