On Saturday, 29 June 2013 at 08:01:17 UTC, Johannes Pfau wrote: > Shouldn't doing anything value-related on > an empty struct be invalid anyway? Why ? The fact that the struct has no members is an implementation detail which should have no impact on the user of the struct.