blob: 11058ed2b308f563cdc80b31d642187c73f5b0bc (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
-- { dg-do compile }
package body Initializes is
protected body PO is
procedure Proc is
package Inner with Initializes => (Y => PO) is -- OK
Y : Boolean := X;
end Inner;
procedure Nested with Global => PO is -- OK
begin
null;
end Nested;
begin
Nested;
end Proc;
end PO;
protected body PT is
procedure Proc is
package Inner with Initializes => (Y => PT) is -- OK
Y : Boolean := X;
end Inner;
procedure Nested with Global => PT is -- OK
begin
null;
end Nested;
begin
Nested;
end Proc;
end PT;
end Initializes;
|