whiley_test_file 0.6.2

original.name="Unsafe_Valid_2"
======
>>> main.whiley
unsafe method f(int x) -> (int y):
    assert x >= 0
    return x

public export method test():
    assert 1 == 1

---