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.8 required=3.0 tests=BAYES_50,FREEMAIL_FROM,
	T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6
X-Received: by 2002:a05:620a:208e:b0:6ff:9375:34bc with SMTP id e14-20020a05620a208e00b006ff937534bcmr1180775qka.627.1674381308418;
        Sun, 22 Jan 2023 01:55:08 -0800 (PST)
X-Received: by 2002:a05:6870:88d:b0:148:16a3:f43c with SMTP id
 fx13-20020a056870088d00b0014816a3f43cmr1388304oab.272.1674381308007; Sun, 22
 Jan 2023 01:55:08 -0800 (PST)
Path: eternal-september.org!reader01.eternal-september.org!usenet.blueworldhosting.com!feed1.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: Sun, 22 Jan 2023 01:55:07 -0800 (PST)
In-Reply-To: <tqirfc$1vu2$1@gioia.aioe.org>
Injection-Info: google-groups.googlegroups.com; posting-host=18.197.116.227; posting-account=rmHyLAoAAADSQmMWJF0a_815Fdd96RDf
NNTP-Posting-Host: 18.197.116.227
References: <7f9d3951-fbf3-469a-ae4f-a74de26771b1n@googlegroups.com> <tqirfc$1vu2$1@gioia.aioe.org>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <4db688df-4ada-4eaf-8c49-ac8ab1956b91n@googlegroups.com>
Subject: Re: elab pragma placement
From: AdaMagica <christ-usch.grein@t-online.de>
Injection-Date: Sun, 22 Jan 2023 09:55:08 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 1402
Xref: reader01.eternal-september.org comp.lang.ada:64845
List-Id: <comp.lang.ada>

A subprogram is a program unit and may be declared pure. I do not see that A.B performs any of 10.2.1(15ff).

I tried
procedure A.B (x : T) with Pure;
which is accepted together with its body and still got the compiler complaint.

Looks like a compiler problem.