1 2 3 4 5 6 7 8
proc f() var x: const Int begin x := 5 (* @Error Cannot assign to a value of type 'const Int', because it is constant or contains constant members *) return end.