Mercurial > hg > CbC > CbC_gcc
view gcc/testsuite/gnat.dg/interface10.adb @ 145:1830386684a0
gcc-9.2.0
author | anatofuz |
---|---|
date | Thu, 13 Feb 2020 11:34:05 +0900 |
parents | |
children |
line wrap: on
line source
-- { 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;