type
  R = record
    x: Int
  end

proc f()
var
  r: const R := R{ x: 5 }
begin
  r.x := 6 (* @Error Cannot assign to a value of type 'const Int', because it is constant or contains constant members *)
return

end.