original.name="Function_Invalid_16"
======
>>> main.whiley
type fn_t is function()->(int)

function g() -> int:
    return f(&h)
    
function f(fn_t fn):
    return fn()

function h()->int:
    return 0
---
E400 main.whiley 4,11:15
E400 main.whiley 7,11:14