Renaming subprogram and default_expression

[Florian Weimer <fw@deneb.enyo.de>]

Is anything wrong with the following program?  Maybe I'm just
confused, but it looks perfectly legal to me.

procedure Defaults is

   type Typ is new Integer;

   procedure Original (X : Typ);
   procedure Renamed (X : Typ := -1);
   
   procedure Renamed (X : Typ := -1)
     renames Original;
   
   procedure Original (X : Typ) is
   begin
      null;
   end Original;

begin
   null;
end Defaults;