gcc/testsuite/gnat.dg/rep_clause8.adb

   1 procedure 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);
  17 begin
  18    null;
  19 end;