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

end.