Re: limited agregate and limited components default initialization

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

It works, so much for "impossible" dmitry.

I probably read before the implementation you mentioned, I don't remember exactly. I saw something strange writing this. Shouldn't the expression function 
function GET (Pointer : Pointer_Type) return Accessor_Type is
     (if Pointer.Pointer = null or else POINTER.Pointer.Value = null then raise EXC_NULL_POINTER_ACCESS
      else ACCESSOR_TYPE'(Data_Link => Pointer.Pointer.Value));
be strictly equivalent to 
function GET (Pointer : Pointer_Type) return Accessor_Type is
   begin
      if Pointer.Pointer = null or else POINTER.Pointer.Value = null then raise EXC_NULL_POINTER_ACCESS;
      else
         return ACCESSOR_TYPE'(Data_Link => Pointer.Pointer.Value);
      end if;
   end GET;
? Yet no, the second is fine, the second raises at run time
raised CONSTRAINT_ERROR : pointers.adb:20 discriminant check failed