gcc/testsuite/gnat.dg/interface_conv.adb

   1 -- { dg-do run }
   2
   3 procedure Interface_Conv is
   4    package Pkg is
   5       type I1 is interface;
   6       procedure Prim (X : I1) is null;
   7       type I2 is interface;
   8       procedure Prim (X : I2) is null;
   9       type DT is new I1 and I2 with null record;
  10    end Pkg;
  11    use Pkg;
  12    Obj  : DT;
  13    CW_3 : I2'Class := Obj;
  14    CW_5 : I1'Class := I1'Class (CW_3);  --  test
  15 begin
  16    null;
  17 end;