f()

g()
{
    return f()
}

//@PRACOWNIA
//@should_not_typecheck