gcc/testsuite/gnat.dg/access3.ads

   1
   2 package 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);
  11 end access3;