whiley_test_file 0.6.2

original.name="Lambda_Valid_18"
======
>>> main.whiley
type fun is function(int)->int

function overloaded(int i) -> int:
    return i + 1

function overloaded(bool b) -> bool:
    return !b

public export method test():
    fun x = &overloaded
    assume x(1) == 2
---