compiler: give error for non-int arguments to make
[official-gcc.git] / gcc / testsuite / gnat.dg / limited_with2.adb
blobb9c5417a627b7f1503ed5b7117194dade14732b0
1 -- { dg-do compile }
3 with Limited_With2_Pkg2;
5 package body Limited_With2 is
7 function Func (Val : Rec1) return Limited_With2_Pkg1.Rec2 is
8 begin
9 return Val.F;
10 end;
12 end Limited_With2;