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


1
2
3
4
5
6
7
8
9
10
11
12
13

-- { dg-do compile }

package body Ancestor_Type is

   package body B is
      function make return T is
      begin
         return (T with n => 0);  -- { dg-error "expect ancestor" }
      end make;

   end B;

end Ancestor_Type;