`tuple[*Ts]` subtype with extra type parameter not gradually assignable to itself

This demonstrates the issue:

from typing import Any

class Array[DataT, *ShapeTs](tuple[*ShapeTs]): ...

type Float2D = Array[float, *tuple[int, int]]  # or Array[float, int, int]
type FloatND = Array[float, *tuple[Any, ...]]

def from_2d(a: Float2D) -> FloatND:
    return a  # mypy: ✅, pyright: ✅

def into_2d(a: FloatND) -> Float2D:
    return a  # mypy: ❌, pyright: ✅

https://mypy-play.net/?mypy=latest&python=3.13&flags=strict&gist=1b95c702df6de35fa3f61aa7b5dfef16

from typing import Any

class Array[*ShapeTs](tuple[*ShapeTs]): ...

type Float2D = Array[*tuple[int, int]]  # or Array[int, int]
type FloatND = Array[*tuple[Any, ...]]

def from_2d(a: Float2D) -> FloatND:
    return a  # mypy: ✅, pyright: ✅

def into_2d(a: FloatND) -> Float2D:
    return a  # mypy: ✅, pyright: ✅

from typing import Any

class Array[float, *ShapeTs]: ...

type Float2D = Array[float, *tuple[int, int]]  # or Array[float, int, int]
type FloatND = Array[float, *tuple[Any, ...]]

def from_2d(a: Float2D) -> FloatND:
    return a  # mypy: ✅, pyright: ✅

def into_2d(a: FloatND) -> Float2D:
    return a  # mypy: ✅, pyright: ✅

Potentially related issues:

• #18665
• #19106
• #19109
• #19110
• #19860
• #19858

Bắt đầu bằng cách chạy hai bản tái hiện Python trong các ví dụ mypy-play được liên kết với mypy 3.13 strict settings, so sánh các phép gán from_2d và into_2d cùng các biến thể không có DataT hoặc không có lớp cơ sở tuple. Xem xét các issue liên quan #18665, #19106, #19109, #19110, #19860 và #19858; được xem là hoàn thành khi phép gán có vấn đề được xử lý nhất quán mà không làm hỏng các trường hợp vốn đã chạy được.