8 lines
244 B
Ada
8 lines
244 B
Ada
|
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;
|