1procedure Rep_Clause8 is
2   package Pack is
3      type Root is tagged record
4         Comp : Integer;
5      end record;
6   end Pack;
7   use Pack;
8
9   generic
10      type Formal_Root is new Root with private;
11   package Gen_Derived is
12      type Deriv is new Formal_Root with null record --  { dg-error "representation item not allowed for generic type" }
13        with Size => 300;
14   end Gen_Derived;
15
16   package Inst_Derived is new Gen_Derived (Root);
17begin
18   null;
19end;
20