blob: 7433454ca3a18529d89e1a4c01eb12f42fc6ca4f [file] [log] [blame]
-- { dg-do run }
-- { dg-options "-gnata" }
with Ada.Text_IO;
procedure Interface10 is
type Iface is interface;
type My_First_Type is new Iface with null record;
type My_Second_Type is new Iface with null record;
procedure Do_Test (Object : in Iface'Class) is
begin
pragma Assert
((Object in My_First_Type) = (Object in My_First_Type'Class));
end;
V : My_Second_Type;
begin
Do_Test (V);
end Interface10;