but somewhat [different Ada95] _Private_ non-generic children of genevariant allowed.

[Vincent Marciante <vincent.marciante@l3harris.com>]

I pretty much follow the rational requiring children of generics that are 
meant to be used by users of a generic also be generic.  But what about 
the case that the child is only introduced for "separation of concerns" and "information hiding" in the body of a generic package: Why can't _private_ children of a generic _always_ for use only in the implementation of the parent unit be allowed?   That seems to me to be only a little more flexible 
version of the allowed arrangement where the desired functionality is expressed in a body-local package that has _its_ implementation as separate stub.

So, I mean I have a situation where I like to be able to do the following but can't.

  generic
    ...
  package Generic_Package is
     procedure Parent_Procedure;
     ...
  end;

private
package Generi

_Package.Child is
   procedure GPC_Procedure;
   ...
end;


package body Generic_Package is
...
    procedure Parent_Procedure is separate;
...
end;

with Generic_Package.C
hild;
separate (Generic_Package)
procedure Parent_Procedure is
begin
...
   Generic_Package.Child.GPC_Procedure;
...
end;