From mboxrd@z Thu Jan 1 00:00:00 1970 X-Received: by 2002:a05:6214:118a:b0:66d:fb7:c53a with SMTP id t10-20020a056214118a00b0066d0fb7c53amr246347qvv.7.1700226743614; Fri, 17 Nov 2023 05:12:23 -0800 (PST) X-Received: by 2002:a63:1a42:0:b0:5bd:d409:16ef with SMTP id a2-20020a631a42000000b005bdd40916efmr1054872pgm.10.1700226743147; Fri, 17 Nov 2023 05:12:23 -0800 (PST) Path: eternal-september.org!news.eternal-september.org!feeder3.eternal-september.org!eternal-september.org!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: Fri, 17 Nov 2023 05:12:22 -0800 (PST) In-Reply-To: Injection-Info: google-groups.googlegroups.com; posting-host=3.67.78.197; posting-account=rmHyLAoAAADSQmMWJF0a_815Fdd96RDf NNTP-Posting-Host: 3.67.78.197 References: User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <1286cc2e-2fc8-4de4-9598-a6a53e21ce6bn@googlegroups.com> Subject: Re: Unchecked_Deallocation with tagged class type. From: AdaMagica Injection-Date: Fri, 17 Nov 2023 13:12:23 +0000 Content-Type: text/plain; charset="UTF-8" X-Received-Bytes: 1764 Xref: news.eternal-september.org comp.lang.ada:65860 List-Id: Blady schrieb am Donnerstag, 16. November 2023 um 21:29:20 UTC+1: > Thanks, yes, the instanciation of Unchecked_Deallocation seemed to > indicate that but I was not able to confirm it from the Ada RM. > A mention in Ada RM 13.11.2 Unchecked Storage Deallocation of that > particular possibility would be valuable. type Object(<>) is limited private; The box here denotes unknown discriminants, i.e. indefinite types - these include task types; limited is "assume the worst" => i.e. any type may be used as actual type for this formal type.