From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on
	ip-172-31-65-14.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-0.0 required=3.0 tests=BAYES_20,FREEMAIL_FROM,
	T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6
X-Received: by 2002:a05:622a:1b8b:b0:3ef:8159:5ec4 with SMTP id bp11-20020a05622a1b8b00b003ef81595ec4mr49504qtb.9.1682183047476;
        Sat, 22 Apr 2023 10:04:07 -0700 (PDT)
X-Received: by 2002:a81:b667:0:b0:534:d71f:14e6 with SMTP id
 h39-20020a81b667000000b00534d71f14e6mr3084399ywk.9.1682183047199; Sat, 22 Apr
 2023 10:04:07 -0700 (PDT)
Path: eternal-september.org!news.eternal-september.org!news.uzoreto.com!peer02.ams4!peer.am4.highwinds-media.com!peer02.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Sat, 22 Apr 2023 10:04:06 -0700 (PDT)
In-Reply-To: <u209li$37hob$1@dont-email.me>
Injection-Info: google-groups.googlegroups.com; posting-host=87.143.122.5; posting-account=3zVVBwoAAAC7BSMfgNP7DSbqU9urpt40
NNTP-Posting-Host: 87.143.122.5
References: <a346f13d-9876-488a-9472-4563de130311n@googlegroups.com>
 <6aa39f27-62ca-4486-9fc7-1c713da5b098n@googlegroups.com> <lyttxak3ag.fsf@pushface.org>
 <ed311a62-41ba-493e-a4cc-481402a1cc6bn@googlegroups.com> <u209li$37hob$1@dont-email.me>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <f72b8843-6022-408d-bf90-56be02010b73n@googlegroups.com>
Subject: Re: strange cursor in nested containers
From: Mario Blunk <mario.blunk.gplus@gmail.com>
Injection-Date: Sat, 22 Apr 2023 17:04:07 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 1554
Xref: news.eternal-september.org comp.lang.ada:65127
List-Id: <comp.lang.ada>

I wonder why at runtime no exception is raised.
How could I solve the problem ? Not using "rename" ? Using an aliased access type as John Barnes suggests in Ada2005 on page 275 ?