g():int,int

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