16 lines
445 B
Ada
16 lines
445 B
Ada
-- { dg-do compile }
|
|
package body Pak is
|
|
pragma Suppress (Discriminant_Check);
|
|
-- Suppress discriminant check to prevent the assignment from using
|
|
-- the predefined primitive _assign.
|
|
|
|
procedure Initialize (X : in out T) is begin null; end Initialize;
|
|
procedure Finalize (X : in out T) is begin null; end Finalize;
|
|
|
|
procedure Assign (X : out T'Class) is
|
|
Y : T;
|
|
begin
|
|
T (X) := Y;
|
|
end Assign;
|
|
end Pak;
|