summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/statically_matching.ads
blob: de2ba1b0bea78321b3b74d537df7b2dd381b3844 (plain)
1
2
3
4
5
6
7
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;