[Issue 16526] @safe code should do null check for members when appropriate

[via Digitalmars-d-bugs]

https://issues.dlang.org/show_bug.cgi?id=16526

--- Comment #3 from Steven Schveighoffer <schvei...@yahoo.com> ---
(In reply to Sobirari Muhomori from comment #1)
> struct S
> {
>       byte[3000] a,b;
> }
> void f(ref S s)
> {
>       g(s.b);
> }

Actually, technically this could trigger a check of s address, since b's data
is beyond the 1 page boundary.

--