original.name="ConstrainedArray_Invalid_3"
js.execute.ignore=true
======
>>> main.whiley
type char is (int x) where x >= 0 && x <= 255
type string is char[]

function update(string str) -> char[]:
    return [-1]

public export method test():
    string s1 = "Hello World"
    assume update(s1) == [-1]
---
E702 main.whiley 5,11:14
E717 main.whiley 5,4:14