1--  { dg-do compile }
2
3with Aspect1_Horizontal;
4with Aspect1_Vectors_2D;
5
6procedure Aspect1 is
7   type Speed is new Float;
8   package Distances is new Aspect1_Vectors_2D (Float);
9   package Velocities is new Aspect1_Vectors_2D (Speed);
10   package Motion is new Aspect1_Horizontal (Distances, Velocities);
11begin
12   null;
13end;
14