Re: Dispatch on the result still does not work?

[Chris Moore <zmower@ntlworld.com>]

Dmitry A. Kazakov wrote:
> On Sun, 12 Jul 2009 11:40:27 +0100, Chris Moore wrote:

<snip>

>> But the results type is T'Class.  It is not S.
> 
> Exactly. To be of T'Class is a prerequisite for dispatch.
> 
>> The original object to
>> which X refers is of type S.
> 
> Therefore it could dispatch using S'Tag.

Only if you use X.Value.

>> But this is destroyed prior to the
>> assignment of the value returned by Value.
> 
> This is an implementation detail.

This is how assignment works no matter what the language!