On Thursday, 8 October 2015 at 16:29:58 UTC, Ola Fosheim Grøstad wrote: > Inaccurate maybe, but something that has an identity is not a > value type. Value types are by definition identity-less. The > type system of C/C++/D doesn't really provide guarantees needed > to have proper value types. Why, because you can take their address?