blob: b5e9e2c5c1d8c827486c490a4ab7cf59cc9ac70e [file] [log] [blame]
-- { 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;