gcc/testsuite/gnat.dg/sso2.adb

   1 -- { dg-do compile }
   2
   3 with Ada.Unchecked_Conversion;
   4
   5 package body SSO2 is
   6
   7   function Conv is new Ada.Unchecked_Conversion (Arr1, Arr2);
   8
   9   procedure Proc (A1 : Arr1; A2 : out Arr2) is
  10   begin
  11      A2 := Conv (A1);
  12   end;
  13
  14 end SSO2;