@MSGID:
<99e103fa-53c3-43b0-8a4f-686ca10424cdn@googlegroups.com> 86cbb7ca
@REPLYADDR Simon Belmont <sbelmont700@gmail.com>
@REPLYTO 2:5075/128 Simon Belmont
@CHRS: CP866 2
@RFC: 1 0
@RFC-Message-ID:
<99e103fa-53c3-43b0-8a4f-686ca10424cdn@googlegroups.com>
@TZUTC: -0700
@PID: G2/1.0
@TID: FIDOGATE-5.12-ge4e8b94
 is it really illegal to rename an object as it`s classwide parent?
gnat claims so. Similar results using a type extension as a generic
formal "in out" object of classwide type.

  declare  
    type P is interface;
    type C is new P with null record;
  
    o : C;
    r : P`Class renames o;  --error
    begin
      null;
    end;

expected type "P`Class" defined at line
found type "C" defined at line
--- 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