gcc/testsuite/gnat.dg/statically_matching.ads

   1 package Statically_Matching is
   2    type T1(b: boolean) is tagged null record;
   3    type T2 is new T1(b => false) with private;
   4 private
   5    F: constant boolean := false;
   6    type T2 is new T1(b => F) with null record;  -- OK
   7 end Statically_Matching;