Does not detect type incompatibility with tuple type #7115
Description
The following code should result in a type violation, but it does not currently.
def func2(t3: tuple[int, ...]):
v2: tuple[int, *tuple[int, ...]] = t3{{ message }}
The following code should result in a type violation, but it does not currently.
def func2(t3: tuple[int, ...]):
v2: tuple[int, *tuple[int, ...]] = t3