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

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

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

method test():
    //    
    fun_t x = &f
    //
    fun_t y = &g
    //
    gun_t z = &g
    
---
E400 main.whiley 16,14:15