Shared via mypy Playground

main.py

from typing import Any


type Ge0 = tuple[Any, ...]

def ge0_to_0(shape: Ge0) -> tuple[()]:
    return shape  # ✅ true negative
def ge0_to_1(shape: Ge0) -> tuple[int]:
    return shape  # ✅ true negative
def ge0_to_2(shape: Ge0) -> tuple[int, int]:
    return shape  # ✅ true negative


type Ge1 = tuple[int, *tuple[Any, ...]]

def ge1_to_0(shape: Ge1) -> tuple[()]:
    return shape  # ✅ true positive
def ge1_to_1(shape: Ge1) -> tuple[int]:
    return shape  # ❌ false positive
def ge1_to_2(shape: Ge1) -> tuple[int, int]:
    return shape  # ❌ false positive