blob: db109b3d24fd20ca9f59a41d201259c53c5f36f3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
package body access3 is
type IT_Access is not null access all IT'Class;
for IT_Access'Storage_Size use 0;
procedure Op
(Obj_T2 : in out T2;
Obj_IT : not null access IT'Class)
is
X : constant IT_Access := Obj_IT.all'Unchecked_Access;
begin
null;
end Op;
end access3;
|
