----------------------------------------------------------------------------------
@MSGID:
<5ab7e1d5-1491-49c3-877d-32bb6e12b43an@googlegroups.com> 3c83f9a7
@REPLY: 1@dont-email.me> c74d9ff7
@REPLYADDR Simon Belmont <sbelmont700@gmail.com>
@REPLYTO 2:5075/128 Simon Belmont
@CHRS: CP866 2
@RFC: 1 0
@RFC-References:
<99e103fa-53c3-43b0-8a4f-686ca10424cdn@googlegroups.com> 1@dont-email.me>
@RFC-Message-ID:
<5ab7e1d5-1491-49c3-877d-32bb6e12b43an@googlegroups.com>
@TZUTC: -0700
@PID: G2/1.0
@TID: FIDOGATE-5.12-ge4e8b94
On Thursday, September 21, 2023 at 5:03:06 PM UTC-4, G.B. wrote:
> O does not denote an object of a class-wide type,
> I think. However, P`Class (o) does, so that renaming
> that would make r be of its declared type P`Class.
That seems needlessly pedantic, considering that assignment is fine
(o2 : P`Class := o) as well as assigning it to an intermediate pointer
(po : access P`Class := o`Access; r : P`Class renames po.all)
--- G2/1.0
* Origin: usenet.network (2:5075/128)
SEEN-BY: 5001/100 5005/49 5015/255 5019/40 5020/715
848 1042 4441 12000
SEEN-BY: 5030/49 1081 5058/104 5075/128
@PATH: 5075/128 5020/1042 4441