testsuite/gnat.dg/layered_abstraction_p.ads

generic
    type T is private;
    Obj : T;
package Layered_Abstraction_P is
   Obj2 : T := Obj;
end;