1-- { dg-do compile } 2-- { dg-options "-gnatwr" } 3 4procedure Others1 is 5 type Ar is Array (1..10) of Natural; 6 function five return integer is (5); 7 THing : Ar; 8begin 9 Thing := (1..5 => 22, 6 ..10 => 111, others => Five); -- { dg-warning "there are no others" } 10 if Thing (1) /= thing (5) then 11 raise Program_Error; 12 end if; 13end; 14