gcc/testsuite/gnat.dg/specs/renaming2_pkg2.ads

package Renaming2_Pkg2 is

  type Root is private;

private

  type Root (D : Boolean := False) is record
    case D is
      when True => N : Natural;
      when False => null;
    end case;
  end record;

end Renaming2_Pkg2;