f():int

g()
{
    f()
}

//@PRACOWNIA
//@should_not_typecheck