gcc/testsuite/gnat.dg/layered_abstraction_p.ads

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