Incorrect type narrowing for tuples based on sequence pattern matching

The following code demonstrates the bug:

```python
def func6(val: tuple[int] | tuple[str, str] | tuple[int, *tuple[str, ...], int]):
    match val:
        case (x, y):
            assert_type(val, tuple[str, str] | tuple[int, int])
```