1
2package access3 is
3   type IT is limited interface;
4   type T is limited new IT with null record;
5
6   type T2 is tagged limited null record;
7
8   procedure Op
9     (Obj_T2 : in out T2;
10      Obj_IT : not null access IT'Class);
11end access3;
12