original.name="StaticVar_Invalid_5"
js.execute.ignore=true
======
>>> main.whiley
type nat is (int x) where x >= 0

nat x = -1
---
E702 main.whiley 3,0:10
E718 main.whiley 3,8:9