Re: limited agregate and limited components default initialization

[Jean-Claude Rostaing <00120260a@gmail.com>]

    generic 
        type Item_Type(<>); 
    package Pointers is 
        type Smart_Pointers is limited null record; 
    end Pointers; 

It would be logical, but it is impractical, because of
(Value: in Item_type) return Smart_Pointers is
     (Smart_Pointers'(Controlled with Node => new Accessor_type'(Data => new Item_type'(Value), Count => 1)));
« initialization not allowed for a limited type » becomes :
pointers2.adb:18:18: invalid use of formal incomplete type
pointers2.adb:19:87: premature usage of incomplete type "Item_type" defined at pointers2.ads:4

To Jacob : 
   type Item_Type (<>) is private; 
   type Item_Record (<>) is private;
Sure ! It’s already done for Item_type (see the generic parameter ;-) ) and Item_Record is declared in the private part, so « unknown discriminant is not allowed ». Such a shame, it would be useful to tell the compiler that you’re not declare initialized stuff even in the body, even though you know the discriminants.