original.name="Unsafe_Invalid_7"
whiley.compile.strict=true
======
>>> main.whiley
type fun_t is function(int)->(int)
unsafe function f(int x) -> (int y):
assert x >= 0
return x
unsafe public export method test():
fun_t x = &f(int)
//
assert f(1) == 1
---
E613 main.whiley 8,14:20