-- { dg-options "-gnatws" } with Ada.Text_IO; use Ada.Text_IO; with Aggr23_TT; use Aggr23_TT; procedure Aggr23_Q (Count : Natural) is Ts : array (1 .. Count) of TA := (others => new T (new Integer)); -- Test begin if Ts (1).D = Ts (2).D then Put ("ERROR"); end if; end;