```
import std.stdio;

struct Bar
{
    ubyte[0x7FFF_FFE] memory1 = void;
    ubyte[0x7FFF_FFE] memory2 = void;
    ubyte[0x7FFF_FFE] memory3 = void;
    int oops = void;
}

void main () @safe
{
    Bar* b;
    int* ptr = &b.oops;
    assert(ptr !is null);
    writeln(ptr);
}
```

Ouputs:
```
17FFFFFC
```

And is very obviously violating @safety promises.
Originally reported by Rainers in https://issues.dlang.org/show_bug.cgi?id=20722.