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.224.52.6 with SMTP id f6mr10097589qag.2.1377441072947;
        Sun, 25 Aug 2013 07:31:12 -0700 (PDT)
X-Received: by 10.49.48.197 with SMTP id o5mr251qen.31.1377441071881; Sun, 25
 Aug 2013 07:31:11 -0700 (PDT)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!feeder.erje.net!eu.feeder.erje.net!news.glorb.com!fx3no4707693qab.0!news-out.google.com!he10ni3465qab.0!nntp.google.com!fx3no4707688qab.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Sun, 25 Aug 2013 07:31:11 -0700 (PDT)
In-Reply-To: <54258ffb-a99c-48d8-8d2b-02694efb6d36@googlegroups.com>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=91.7.34.93;
 posting-account=rmHyLAoAAADSQmMWJF0a_815Fdd96RDf
NNTP-Posting-Host: 91.7.34.93
References: <54258ffb-a99c-48d8-8d2b-02694efb6d36@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <f0c0ffcd-3875-4f00-8ebb-be718b29dfed@googlegroups.com>
Subject: Re: Contraint error when "out" parameter has incorrect initial
 content
From: AdaMagica <christ-usch.grein@t-online.de>
Injection-Date: Sun, 25 Aug 2013 14:31:12 +0000
Content-Type: text/plain; charset=ISO-8859-1
Xref: news.eternal-september.org comp.lang.ada:16956
Date: 2013-08-25T07:31:11-07:00
List-Id: <comp.lang.ada>

RM 6.4.1(16) A formal parameter of mode in out or out with discriminants is constrained if either its nominal subtype or the actual parameter is constrained.

Thus the compiler may assume that variables supplied to calls already have the correct subtype.