1-- { dg-do compile }
2
3with Ada.Strings.Unbounded; use Ada.Strings.Unbounded;
4package Controller is
5   type Iface is interface;
6   type Thing is tagged record
7      Name : Unbounded_String;
8   end record;
9   type Object is abstract new Thing and Iface with private;
10private
11   type Object is abstract new Thing  and Iface
12   with record
13      Surname : Unbounded_String;
14   end record;
15end Controller;
16