mypy-play

from typing import TypeVar, Generic, ClassVar, Self

T = TypeVar("T", bound="BaseModel")

class BaseModel:
    _meta: "ClassVar[Meta[Self]]"

    class Meta(Generic[T]):
        def __init__(self, model: type[T]) -> None:
            self.model = model

mypy-play

from typing import TypeVar, Generic, ClassVar, Self

# Define a generic type variable
T = TypeVar("T", bound="BaseModel")

class BaseModel:
    """A base model with a generic type parameter."""
    _meta: "ClassVar[Meta[Self]]"

    class Meta(Generic[T]):

mypy-play

from __future__ import annotations
from enum import Enum
from typing import Type

menu_msg : str = \
"""
Please select a valid size (1-3): 
1. Small
2. Medium
3. Large

mypy-play

from __future__ import annotations
from enum import Enum
from typing import Type

menu_msg : str = \
"""
Please select a valid size (1-3): 
1. Small
2. Medium
3. Large

mypy-play

from typing import TypedDict, Mapping

class FooType(TypedDict):
    a: int
    b: str

def foo(value: Mapping[str, int | str]):
    print(value)

x = {

mypy-play

from typing import TypedDict, Mapping

class FooType(TypedDict):
    a: int
    b: str

def foo(value: Mapping[str, int | str]):
    print(value)

x = {

mypy-play

from collections.abc import Callable
from enum import Enum
from typing import Generic, Protocol, TypeVar, Type, overload


T = TypeVar("T", covariant=True)

class A(Generic[T]):
    pass

mypy-play

import psycopg as pg

mypy-play

# mypy: allow-any-expr=False
class A(tuple[int, int]): ...

print(A()[:])

mypy-play

# mypy: allow-any-expr=False
class A(tuple[int, int]): ...

print(A()[:])