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=-0.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: a07f3367d7,2e6723b897ab47fb
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
Received: by 10.66.72.165 with SMTP id e5mr1824570pav.4.1344849715104;
        Mon, 13 Aug 2012 02:21:55 -0700 (PDT)
Path: 
 p10ni51394108pbh.1!nntp.google.com!npeer02.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!news-in-01.newsfeed.easynews.com!easynews.com!easynews!novia!newsfeed.yul.equant.net!npeer.de.kpn-eurorings.net!npeer-ng0.de.kpn-eurorings.net!news-feed.eu.lambdanet.net!texta.sil.at!news.glorb.com!news-out.readnews.com!transit4.readnews.com!nx01.iad01.newshosting.com!newshosting.com!216.196.98.144.MISMATCH!border3.nntp.dca.giganews.com!border1.nntp.dca.giganews.com!nntp.giganews.com!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
From: Marius Amado-Alves <amado.alves@gmail.com>
Newsgroups: comp.lang.ada
Subject: Re: Ada.Locales pseudo-string types
Date: Tue, 7 Aug 2012 11:07:27 -0700 (PDT)
Organization: http://groups.google.com
Message-ID: <c46d36bf-1ed2-444c-8657-75e544004408@googlegroups.com>
References: <78707b6e-88a3-453a-a37c-840f7a62e703@googlegroups.com>
 <bb54dcf1-da65-43d0-a3b4-418fa33de827@googlegroups.com>
 <jvp54k$mqk$1@dont-email.me>
 <m2sjbz24sh.fsf@nidhoggr.home>
 <7303f906-0f6a-4d97-ae15-36b4056ede6c@googlegroups.com>
 <m2obmn20xa.fsf@nidhoggr.home> <op.wim02msaka8ora@aspire.local>
 <c0cb9ef6-d049-44df-b184-9cf8aa6e2248@googlegroups.com>
 <257b4f44-b6c6-4c79-8c6e-dec947a3ce25@googlegroups.com>
 <337e02ad-a13f-4b05-937e-c40ff7e5e7e7@googlegroups.com>
NNTP-Posting-Host: 188.82.45.163
Mime-Version: 1.0
X-Trace: posting.google.com 1344363247 32737 127.0.0.1 (7 Aug 2012 18:14:07
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Tue, 7 Aug 2012 18:14:07 +0000 (UTC)
In-Reply-To: <337e02ad-a13f-4b05-937e-c40ff7e5e7e7@googlegroups.com>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=188.82.45.163;
 posting-account=3cDqWgoAAAAZXc8D3pDqwa77IryJ2nnY
User-Agent: G2/1.0
X-Received-Bytes: 2136
Content-Type: text/plain; charset=ISO-8859-1
Date: 2012-08-07T11:07:27-07:00
List-Id: <comp.lang.ada>

> The language rule is 4.6(24.5/2): when converting between different array types, "The component subtypes shall statically match".  Statically matching subtypes means that the constraints have to be the same. (Adam)

Then the rule is extremely silly because the whole point of a conversion is to transfer between DIFFERENT types.