|
-- { dg-do compile }
|
|
-- { dg-options "-O2" }
|
|
|
|
with Ada.Text_IO; use Ada.Text_IO;
|
|
with Assert;
|
|
|
|
package body Controlled_Record is
|
|
|
|
procedure Assert_Invariants (PA : Point_T) is
|
|
PB : Point_T;
|
|
begin
|
|
Assert.Assert (PB.Pos = PA.Pos);
|
|
end;
|
|
|
|
end Controlled_Record;
|