1 2 3 4 5 6 7 8
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.