Error：Tuple from_py overload match problem

[victor3d]

The following code snippet will result in a compilation error

@python
def t3() -> tuple[pyobj, pyobj, pyobj]:
    return (1, 2, 3)

@python
def t2() -> tuple[pyobj, pyobj]:
    return (1, 2)

@python
def t33() -> tuple[pyobj, pyobj, pyobj]:
    return (1, 3, 5)

def test1(a, b, c):
    return a + b + c

def test2(a, b):
    return a + b 

print(test1(*t3()))
print(test2(*t2()))
print(test1(*t33()))

test_py_dec.py:10:1-41: error: 'Tuple[pyobj,pyobj,pyobj]' does not match expected type 'Tuple[T1,T2]'
╰─ test_py_dec.py:21:14-17: error: during the realization of t33()

[inumanag]

Hi @victor3d

Thank you for reporting this---looks like a typechecker bug. Will need to check what is going on here.

[inumanag]

Fixed in #604.