4 type Not_Null_Int_Ptr is not null access all Integer;
7 F : Not_Null_Int_Ptr := null;
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");
20 when Constraint_Error =>