-- RUN: %llvmgcc -c %s
procedure Placeholder is
   subtype Bounded is Integer range 1 .. 5;
   type Vector is array (Bounded range <>) of Integer;
   type Interval (Length : Bounded := 1) is record
      Points : Vector (1 .. Length);
   end record;
   An_Interval : Interval := (Length => 1, Points => (1 => 1));
   generic The_Interval : Interval; package R is end;
   package body R is end;
   package S is new R (An_Interval);
begin null; end;