1-- { dg-do compile }
2
3package 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
13end Ancestor_Type;
14