Re: Type of the target of an assignment shall not be abstract

[Gautier write-only <gautier_niouzes@hotmail.com>]

Just in case, here is a reduced example:
--
package Abstrax is
  type Root is abstract tagged private;
  type T1 is new Root with private;
  procedure Reset(x: in out Root'Class);
private
  type Root is abstract tagged record
    i: Integer:= 11;
  end record;
  type T1 is new Root with record
    j: Integer:= 22;
  end record;
end;
--
package body Abstrax is
  procedure Reset (x: in out Root'Class) is
    y: T1;
  begin
    Root(x):= Root(y);
    --     ^---- Wrong here !
  end Reset;
end Abstrax;
--
Gautier