Possible @property compromise

[Zach the Mystic]

On Saturday, 2 February 2013 at 06:19:29 UTC, TommiT wrote:
> On Saturday, 2 February 2013 at 03:50:49 UTC, Zach the Mystic 
> wrote:
>> [..]
>
> What do you suppose would happen if I wrote the following?
>
> struct A
> {
>   struct B {}
>
>   B b1;
>   B b2;
> }
>
> void main()
> {
>   A a;
>   assert(&a.b1 == &a.b2);
> }

With my new rules? It would be illegal to take the address of a 
struct which contained no data. I don't think this will break 
much code, but I don't know.