From: James Denholm <nod.helm@gmail.com>
Date: Mon, 05 May 2014 09:33:44 GMT
Subject: Re: [PATCH 1/9] Define a structure for object IDs.
Message-ID: <fd1b0343-d92f-4e51-a54e-a7629ea31028@email.android.com>
In-Reply-To: <87vbtk60lh.fsf@igel.home>

On 5 May 2014 19:23:06 GMT+10:00, Andreas Schwab <schwab@linux-m68k.org> wrote:
>David Kastrup <dak@gnu.org> writes:
>
>> It does not as far as I can see guarantee that a pointer to something
>> of the same type of its first member can be converted to a pointer to
>> a struct even if the struct only contains a member of such type.
>
>This sentence doesn't make any sense.  If you have an object of struct
>type then any pointer to the first member of the object can only be a
>pointer to the one and same object.

I think what David means is that a pointer to a wrapper
can be derefed into its internal, sure, but an object of
that internal type can't necessarily pretend to be a
wrapper.

That said, obviously I'm not David, so I could be wrong.
That's what I got from his statement, though.

Regards,
James Denholm.