WITH Ada.Text_IO; PROCEDURE index_anonymous_array IS x : Integer; BEGIN x := (1, 2, 3)(0); END index_anonymous_array; -- There is no syntax to index an anonymous array: -- index_anonymous_array.adb:6:17: binary operator expected -- If there was syntax, the next problem would be deciding the index type.