gcc/testsuite/gnat.dg/class_wide2.adb

   1 -- { dg-do compile }
   2
   3 package body Class_Wide2 is
   4
   5    procedure Initialize is
   6       Var_Acc : Class_Acc := new Grand_Child;
   7       Var     : Grand_Child'Class := Grand_Child'Class (Var_Acc.all);  -- { dg-bogus "already constrained" "" { xfail *-*-* } }
   8
   9    begin
  10       Var := Grand_Child'Class (Var_Acc.all);
  11    end Initialize;
  12
  13 end Class_Wide2;