gcc/testsuite/gnat.dg/discr9.adb

   1 -- { dg-do compile }
   2
   3 package body Discr9 is
   4
   5    procedure Proc (From : in R; To : out R) is
   6    begin
   7       To := R'(D1 => False, D2 => From.D2, Field => From.Field);
   8    end;
   9
  10 end Discr9;