original.name="Parsing_Invalid_5"
======
>>> main.whiley
function f(int x) -> (int r):
    int x = x
    return x
---
E316 main.whiley 2,8
=====
>>> main.whiley 2:3
>>> main.whiley 3
public export method test():
   assume f(1) == 1
---