> I agree that this results in declarations that look funny, but it > could be hard to explain to some users why we allow one but not the > other. I agree that this: An anonymous member may be a struct or union. is cleaner than this: An anonymous member may be a struct or union, except for typedef'd structs and unions, and you have to use only this syntax...