«

On Jun 8, 8:51*am, Abu Yahya <abu_ya...@invalid.com> wrote:
> On 6/6/2011 10:24 PM, Mayeul wrote:
>
> > In other words, it cannot possibly build an instance of any other class,
> > neither Object nor anything.
>
> Won't 'A' be an instanceOf Object?

An object of any type T is automatically and inherently an instance of
any type S that is a supertype of T, by the very definition of
subtyping. Subtypes embody the /is-a/ relationship.

--
Lew

On 6/10/2011 11:36 PM, Lewis Bloch wrote:
> On Jun 8, 8:51 am, Abu Yahya<abu_ya...@invalid.com> wrote:
>> On 6/6/2011 10:24 PM, Mayeul wrote:
>>
>>> In other words, it cannot possibly build an instance of any other class,
>>> neither Object nor anything.
>>
>> Won't 'A' be an instanceOf Object?
>
> An object of any type T is automatically and inherently an instance of
> any type S that is a supertype of T, by the very definition of
> subtyping. Subtypes embody the /is-a/ relationship.
>

Thanks, Lew, for the explanation.