codeql/python/extractor/tests/parser/types_new.py at codeql-cli-2.27.1 · github/codeql · GitHub

22 lines (15 loc) · 566 Bytes

type T[T1, T2: E1, *T3, **T4] = T5

def f[T6, T7: E2, *T8, **T9](): ...

class C[T10, T11: E3, *T12, **T13]: ...

# From PEP-696 (https://peps.python.org/pep-0696/#grammar-changes):

# TypeVars

class Foo1[T14 = str]: ...

# ParamSpecs

class Baz1[**P1 = [int, str]]: ...

# TypeVarTuples

class Qux1[*Ts1 = *tuple[int, bool]]: ...

# TypeAliases

type Foo2[T15, U1 = str] = Bar1[T15, U1]

# type Baz2[**P2 = [int, str]] = Spam[**P2] # From the PEP, but this is not actually valid syntax!

type Qux2[*Ts2 = *tuple[str]] = Ham[*Ts2]

type Rab[U2, T15 = str] = Bar2[T15, U2]

Expand file tree