f()

g():int
{
    return f()    
}
//@PRACOWNIA
//@should_not_typecheck