whiley_test_file 0.6.2

original.name="Parameter_Invalid_1"
======
>>> main.whiley
function f(int x, int x) -> int:
    return x
---
E316 main.whiley 1,22
====
>>> main.whiley 1:2
function f(int x, int y) -> int:
>>> main.whiley 3

public export method test():
    assume f(1,2) == 1
---