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? --benji