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