gcc/testsuite/gnat.dg/ancestor_type.adb

   1 -- { dg-do compile }
   2
   3 package body Ancestor_Type is
   4
   5    package body B is
   6       function make return T is
   7       begin
   8          return (T with n => 0);  -- { dg-error "expect ancestor" }
   9       end make;
  10
  11    end B;
  12
  13 end Ancestor_Type;