On 19/04/2010 20:16, Ellery Newcomer wrote:
Hello.Say I have a [struct] template T, which takes a param S. Any T!(S) satisfies a certain template constraint W, so I can use any T!(S) the same way. I want to be able to store heterogeneous T!(S) in a single list. Is there any good way to express the type for this?
Why not simply... class C(O) { private O obj; object next; this(O obj) { this.obj = obj; } ... invariant() { assert(this.obj fulfills W); } ... }