original.name="VarDecl_Invalid_2"
js.execute.ignore=true
======
>>> main.whiley

function f(int x) -> int
requires x >= 0:
    int y = 10 / x
    return y

public export method test() :
    f(10)
    f(0)
---
E711 main.whiley 4,17
E728 main.whiley 4,17