1-- { dg-do compile }
2-- { dg-options "-O" }
3
4package body Aggr9 is
5
6  procedure Proc (X : R1) is
7    M : R2 := (F => X);
8  begin
9    Send (M);
10  end;
11
12end Aggr9;
13