gcc/testsuite/gnat.dg/discr20.adb

   1 -- { dg-do compile }
   2
   3 package body Discr20 is
   4
   5   function Get (X : Wrapper) return Def is
   6   begin
   7      return X.It;
   8   end Get;
   9
  10 end Discr20;