|
|
|
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;
|