type
  CI = const Int

proc f()
var
  a: [3]CI := [1, 2, 3]
begin
  a[1] := 6 (* @Error Cannot assign to a value of type 'CI', because it is constant or contains constant members *)
return

end.