3 pragma Suppress (Discriminant_Check);
4 -- Suppress discriminant check to prevent the assignment from using
5 -- the predefined primitive _assign.
7 procedure Initialize (X : in out T) is begin null; end Initialize;
8 procedure Finalize (X : in out T) is begin null; end Finalize;
10 procedure Assign (X : out T'Class) is