whiley_test_file 0.6.2

original.name="ConstrainedInt_Valid_2"
======
>>> main.whiley


type cr3nat is (int x) where x < 10

function f(cr3nat x) -> cr3nat:
    return 1

public export method test() :
    int y = f(9)
    assume y == 1

---