On 6/29/13, Johannes Pfau <[email protected]> wrote: > Shouldn't doing anything value-related on > an empty struct be invalid anyway?
Maybe, maybe not. I could imagine it would cause problems if we simply disallowed it, e.g. if you want to copy attributes from one declaration to another.
