-- { dg-do compile }
-- { dg-options "-O" }
package body Aggr9 is
procedure Proc (X : R1) is
M : R2 := (F => X);
begin
Send (M);
end;
end Aggr9;