gcc/testsuite/gnat.dg/generic_inst3_traits.ads

package Generic_Inst3_Traits is
   pragma Pure;
end Generic_Inst3_Traits;