From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM
	autolearn=unavailable autolearn_force=no version=3.4.4
X-Received: by 10.107.6.141 with SMTP id f13mr4145893ioi.106.1512042037132;
        Thu, 30 Nov 2017 03:40:37 -0800 (PST)
X-Received: by 10.157.85.67 with SMTP id h3mr159307oti.10.1512042037046; Thu,
 30 Nov 2017 03:40:37 -0800 (PST)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!news.kjsl.com!usenet.stanford.edu!193no443625itr.0!news-out.google.com!193ni698iti.0!nntp.google.com!i6no451072itb.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Thu, 30 Nov 2017 03:40:36 -0800 (PST)
In-Reply-To: <3ca6a682-9af1-40e3-a4ac-db739b38e4d7@googlegroups.com>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=2003:c7:83c9:d64b:a966:8f28:bb6b:91d0;
 posting-account=rmHyLAoAAADSQmMWJF0a_815Fdd96RDf
NNTP-Posting-Host: 2003:c7:83c9:d64b:a966:8f28:bb6b:91d0
References: <d8c0ce45-97ad-4475-b3f9-1662a875a576@googlegroups.com>
 <e3a1f97e-7cbd-4327-aef6-c18ca9e74bc2@googlegroups.com>
 <ovidu5$eip$1@franka.jacob-sparre.dk>
 <ac428886-d567-4692-b8b7-22fcb69a755f@googlegroups.com>
 <0b6bd27e-e9ec-4854-bbb1-85e1d9ac92e1@googlegroups.com>
 <227d5a7f-6d5b-4b76-ac31-7d15bb6dc284@googlegroups.com>
 <ovn6uq$rdm$1@franka.jacob-sparre.dk>
 <16c980c2-1fa6-4084-97ea-b576c75b99c3@googlegroups.com>
 <3ca6a682-9af1-40e3-a4ac-db739b38e4d7@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <8a31c728-0261-4f41-b82e-e7128369ebc1@googlegroups.com>
Subject: Re: How to access an array using two different indexing schemes
From: AdaMagica <christ-usch.grein@t-online.de>
Injection-Date: Thu, 30 Nov 2017 11:40:37 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Xref: reader02.eternal-september.org comp.lang.ada:49273
Date: 2017-11-30T03:40:36-08:00
List-Id: <comp.lang.ada>

OK, I dived into the RM:

8.5.1(4) The renamed entity shall be an object.
3.3(12) [An object is a] view conversion of another object.=20
4.6(5/2) A type_conversion whose operand is the name of an object is called=
 a view conversion if both its target type and operand type are tagged, or =
if it appears in a call as an actual parameter of mode out or in out; other=
 type_conversions are called value conversions.

So my conclusion is:

The renamings here are illegal (not tagged).
The subprogram calls as shown in my previous post are legal.

Didn't try however. Good luck for you!