1-- { dg-do compile }
2
3package body Aggr20 is
4
5   procedure Proc (R : out Rec3) is
6   begin
7      R := (Callback => Nil_Rec2);
8   end;
9
10end Aggr20;
11