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