On 6/29/13, Johannes Pfau <nos...@example.com> 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.
