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_40,FREEMAIL_FROM, T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6 X-Received: by 2002:ae9:eb88:0:b0:72b:25b4:565a with SMTP id b130-20020ae9eb88000000b0072b25b4565amr1665918qkg.0.1679590404379; Thu, 23 Mar 2023 09:53:24 -0700 (PDT) X-Received: by 2002:a05:6902:1105:b0:b2f:bdc9:2cdc with SMTP id o5-20020a056902110500b00b2fbdc92cdcmr2636199ybu.7.1679590404091; Thu, 23 Mar 2023 09:53:24 -0700 (PDT) Path: eternal-september.org!feeder.eternal-september.org!usenet.blueworldhosting.com!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!peer03.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: Thu, 23 Mar 2023 09:53:23 -0700 (PDT) In-Reply-To: Injection-Info: google-groups.googlegroups.com; posting-host=18.197.26.138; posting-account=rmHyLAoAAADSQmMWJF0a_815Fdd96RDf NNTP-Posting-Host: 18.197.26.138 References: User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <1775482e-fd70-4af8-b25d-c2a9c2892b05n@googlegroups.com> Subject: Re: Assignment access type with discriminants From: AdaMagica Injection-Date: Thu, 23 Mar 2023 16:53:24 +0000 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Received-Bytes: 1636 Xref: feeder.eternal-september.org comp.lang.ada:65012 List-Id: I do hope, this answers the question: 3.10(14/3) =E2=80=A6 The first subtype of a type defined by =E2=80=A6 an ac= cess_to_object_definition is unconstrained if the designated subtype is an = ... discriminated subtype; otherwise, it is constrained. 4.8(6/3) If the designated type is composite, then =E2=80=A6 the created ob= ject is constrained by its initial value (even if the designated subtype is= unconstrained with defaults).