1--  { dg-do run }
2
3procedure not_null is
4   type Not_Null_Int_Ptr is not null access all Integer;
5
6   generic
7      F : Not_Null_Int_Ptr := null;
8   package GPack is
9   end GPack;
10
11begin
12   declare
13      pragma Warnings (Off, "*null not allowed in null-excluding objects");
14      package Inst_2 is new GPack (null);
15      pragma Warnings (On, "*null not allowed in null-excluding objects");
16   begin
17      null;
18   end;
19exception
20   when Constraint_Error =>
21      null;
22end not_null;
23