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