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

Walter Bright <[email protected]> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |[email protected]

--- Comment #3 from Walter Bright <[email protected]> ---
This is a bit of a hopeless circular tangle. 'scope' is ignored if the type has
no pointers. So S is checked for pointers. S.a is of type S2, which then must
be checked for pointers. Checking S2 for pointers means evaluating each member
to see if it is a field, which gets us back to looking at the 'scope'.

Not sure if this is reasonably fixable.

--

Reply via email to