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.2 required=5.0 tests=BAYES_00,FREEMAIL_FROM,
	FROM_STARTS_WITH_NUMS autolearn=no autolearn_force=no version=3.4.4
X-Received: by 2002:a6b:2090:: with SMTP id
 g138-v6mr3627251iog.85.1527368602797;
        Sat, 26 May 2018 14:03:22 -0700 (PDT)
X-Received: by 2002:a54:4e89:: with SMTP id c9-v6mr28932oiy.3.1527368602604;
 Sat, 26 May 2018 14:03:22 -0700 (PDT)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!news.uzoreto.com!weretis.net!feeder6.news.weretis.net!feeder.usenetexpress.com!feeder-in1.iad1.usenetexpress.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!v8-v6no3584593itc.0!news-out.google.com!b185-v6ni2916itb.0!nntp.google.com!v8-v6no3584591itc.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Sat, 26 May 2018 14:03:22 -0700 (PDT)
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=85.241.60.216;
 posting-account=rhqvKAoAAABpikMmPHJSZh4400BboHwT
NNTP-Posting-Host: 85.241.60.216
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <f9a3c91e-03d0-4053-827b-170ba762dddf@googlegroups.com>
Subject: why "unconstrained subtype in component declaration" while said
 component given default value ?
From: Mehdi Saada <00120260a@gmail.com>
Injection-Date: Sat, 26 May 2018 21:03:22 +0000
Content-Type: text/plain; charset="UTF-8"
Xref: reader02.eternal-september.org comp.lang.ada:52704
Date: 2018-05-26T14:03:22-07:00
List-Id: <comp.lang.ada>

Hello.
Why is this case not allowed ? Is there really an implementation issue here ? I doubt so. Why should it be any different from the non-issue of initializing variables of unconstrained subtypes vs declaring uninitialized variables of constrained subtypes ?
 type A (N: Positive) is record
      II : Integer;
      Chaine : String := Give_String(N);
   end record;

Also, there's something that would be really cool, and I'm curious why it could not be allowed: Why can't we provide a private constrained subtype, of an inconstrained private type ?

package III is
   type A (<>) is private;
   subtype B is A;  -- should be a constrained subtype
private
   function Donne_String (N : Positive) return String;
   type A (N: Positive) is record
      II : Integer;
      Chaine : String(1..N) := Give_String(N);
   end record;
end III;