original.name="Continue_Invalid_1"
======
>>> main.whiley
function f(int x) -> int:
    if x > 0:
        continue
    return 0

public export method test():
    assume f(1) == 0
---
E319 main.whiley 3,8:15
=====
>>> main.whiley 2:4
---