gcc-4.9/gcc/testsuite/gnat.dg/discr20.adb


1
2
3
4
5
6
7
8
9
10

-- { dg-do compile }

package body Discr20 is

  function Get (X : Wrapper) return Def is
  begin
     return X.It;
  end Get;

end Discr20;