compiler: give error for non-int arguments to make

[official-gcc.git] / gcc / testsuite / gnat.dg / statically_matching.ads

package Statically_Matching is
   type T1(b: boolean) is tagged null record;
   type T2 is new T1(b => false) with private;
private
   F: constant boolean := false;
   type T2 is new T1(b => F) with null record;  -- OK
end Statically_Matching;