1 2 3 4 5 6 7 8
proc f() var a: const [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.