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

end.