Benji Smith wrote: > Andrei Alexandrescu wrote: >> What do you think? I'm almost afraid to post this. > > It's a lot to swallow all at once, especially if the equivariance > applies to all type/subtype relationships, and not just the mutability > of a value. Am I reading that right? Yes. Andrei