1-- { dg-do compile }
2-- { dg-options "-O2" }
3
4with Ada.Text_IO; use Ada.Text_IO;
5with Assert;
6
7package body Controlled_Record is
8
9   procedure Assert_Invariants (PA : Point_T) is
10     PB : Point_T;
11   begin
12      Assert.Assert (PB.Pos = PA.Pos);
13   end;
14
15end Controlled_Record;
16