xref: /dports/lang/gcc11/gcc-11.2.0/gcc/testsuite/gnat.dg/deref1.ads

package deref1 is
  type T is tagged limited null record;
   procedure Op (Obj : in out T);
end deref1;