gcc/testsuite/gnat.dg/layered_abstraction.adb

   1 package body  Layered_Abstraction is
   2     Z : P1.T := P2.Obj;  -- Both P1.T and P2.Obj are visible because
   3                          -- they were not specified in the formal package.
   4                          -- Note that P2.T is not visible since it
   5                          -- is required to match P1.T
   6
   7     use P1;              --  to make equality immediately visible
   8     Yes_Again : Boolean := P1.Obj2 = P2.Obj2;
   9 end Layered_Abstraction;