f(): int

g()
{
    x:int, y:int = f()
}
//@PRACOWNIA
//@should_not_typecheck