original.name="Function_Invalid_13"
======
>>> main.whiley
type fun_t is function(int)->(int|bool)
type gun_t is function(int)->(int)

function f(int x) -> (int y):
    return 0

function g(int x) -> (int|bool y):
    return 0

method test():
    //    
    fun_t x = &f
    //
    fun_t y = &g
    //
    gun_t z = &g

---
E400 main.whiley 16,14:15