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