[Issue 2295] automatically covariant types

[d-bugmail at puremagic.com]

http://d.puremagic.com/issues/show_bug.cgi?id=2295





------- Comment #4 from andrei at metalanguage.com  2008-08-19 18:33 -------
Other possible uses are to express a clone function (returns the same type as
the leaf type) and comparison (accepts only the same type as the leaf type).

There was a name for this idiom in Eiffel, I think, but I forgot it.


--