| -- 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; |