1-- { dg-do run } 2-- { dg-options "-gnata" } 3 4with Ada.Text_IO; 5 6procedure Interface10 is 7 8 type Iface is interface; 9 10 type My_First_Type is new Iface with null record; 11 type My_Second_Type is new Iface with null record; 12 13 procedure Do_Test (Object : in Iface'Class) is 14 begin 15 pragma Assert 16 ((Object in My_First_Type) = (Object in My_First_Type'Class)); 17 end; 18 19 V : My_Second_Type; 20begin 21 Do_Test (V); 22end Interface10; 23