# type special form

## Class literal

```py
class A: ...

def _(c: type[A]):
    reveal_type(c)  # revealed: type[A]
```

## Nested class literal

```py
class A:
    class B: ...

def f(c: type[A.B]):
    reveal_type(c)  # revealed: type[B]
```

## Deeply nested class literal

```py
class A:
    class B:
        class C: ...

def f(c: type[A.B.C]):
    reveal_type(c)  # revealed: type[C]
```

## Class literal from another module

```py
from a import A

def f(c: type[A]):
    reveal_type(c)  # revealed: type[A]
```

`a.py`:

```py
class A: ...
```

## Qualified class literal from another module

```py
import a

def f(c: type[a.B]):
    reveal_type(c)  # revealed: type[B]
```

`a.py`:

```py
class B: ...
```

## Deeply qualified class literal from another module

`a/test.py`:

```py
import a.b

def f(c: type[a.b.C]):
    reveal_type(c)  # revealed: type[C]
```

`a/__init__.py`:

```py
```

`a/b.py`:

```py
class C: ...
```

## New-style union of classes

```py
class BasicUser: ...
class ProUser: ...

class A:
    class B:
        class C: ...

def _(u: type[BasicUser | ProUser | A.B.C]):
    # revealed: type[BasicUser | ProUser | C]
    reveal_type(u)
```

## Old-style union of classes

```py
from typing import Union

class BasicUser: ...
class ProUser: ...

class A:
    class B:
        class C: ...

def f(a: type[Union[BasicUser, ProUser, A.B.C]], b: type[Union[str]], c: type[Union[BasicUser, Union[ProUser, A.B.C]]]):
    reveal_type(a)  # revealed: type[BasicUser | ProUser | C]
    reveal_type(b)  # revealed: type[str]
    reveal_type(c)  # revealed: type[BasicUser | ProUser | C]
```

## New-style and old-style unions in combination

```py
from typing import Union

class BasicUser: ...
class ProUser: ...

class A:
    class B:
        class C: ...

def f(a: type[BasicUser | Union[ProUser, A.B.C]], b: type[Union[BasicUser | Union[ProUser, A.B.C | str]]]):
    reveal_type(a)  # revealed: type[BasicUser | ProUser | C]
    reveal_type(b)  # revealed: type[BasicUser | ProUser | C | str]
```

## Special case for `None`

The typing conformance suite contains this test case. It's debatable whether it's correct to do so,
since the spec states that:

> The value corresponding to `type[C]` must be an actual class object that’s a subtype of `C`, not a
> special form or other kind of type.

However, for now we support this annotation in the way the conformance suite expects, until and
unless the spec is amended.

```py
import types

def f(x: type[None]):
    reveal_type(x)  # revealed: <class 'NoneType'>

f(type(None))
f(None.__class__)
f(types.NoneType)
f(None)  # error: [invalid-argument-type]
```

## Stringified annotations

### Basic

Stringified and partially stringified `type[…]` annotations are supported, even if the latter are
not explicitly allowed by the [syntax in the typing spec].

```py
def _(
    type_of_foo_1: "type[Foo]",
    type_of_foo_2: type["Foo"],
    type_of_foo_or_bar_1: "type[Foo | Bar]",
    type_of_foo_or_bar_2: type["Foo | Bar"],
):
    reveal_type(type_of_foo_1)  # revealed: type[Foo]
    reveal_type(type_of_foo_2)  # revealed: type[Foo]
    reveal_type(type_of_foo_or_bar_1)  # revealed: type[Foo | Bar]
    reveal_type(type_of_foo_or_bar_2)  # revealed: type[Foo | Bar]

class Foo: ...
class Bar: ...
```

Illegal stringified annotations lead to a diagnostic:

```py
# error: [invalid-syntax-in-forward-annotation]
def _(type_of_invalid: type[""]):
    reveal_type(type_of_invalid)  # revealed: type[Unknown]
```

### Unions of strings, Python 3.13

"Unions of strings" lead to a runtime error on 3.13 and lower, so we emit a diagnostic. We still
infer `type[Foo | Bar]` though, since the intention seems clear.

```toml
[environment]
python-version = "3.13"
```

```py
def _(type_of_invalid: type["Foo" | "Bar"]):  # error: [unsupported-operator]
    reveal_type(type_of_invalid)  # revealed: type[Foo | Bar]

class Foo: ...
class Bar: ...
```

### Unions of strings, Python 3.13 with `from __future__ import annotations`

On Python 3.13 with `from __future__ import annotations`, there is no error:

```toml
[environment]
python-version = "3.13"
```

```py
from __future__ import annotations

def _(type_of_foo_or_bar: type["Foo" | "Bar"]):
    reveal_type(type_of_foo_or_bar)  # revealed: type[Foo | Bar]

class Foo: ...
class Bar: ...
```

### Unions of strings, Python 3.14

On Python 3.14 and higher, this is also fine:

```toml
[environment]
python-version = "3.14"
```

```py
def _(type_of_foo_or_bar: type["Foo" | "Bar"]):
    reveal_type(type_of_foo_or_bar)  # revealed: type[Foo | Bar]

class Foo: ...
class Bar: ...
```

## Illegal parameters

```py
class A: ...
class B: ...

# error: [invalid-type-form]
_: type[A, B]
```

## Callable types are not valid parameters

```py
from collections.abc import Callable

def f(
    # error: [missing-type-argument]
    x: type[Callable],  # error: [invalid-type-form]
    y: type[Callable[[int], str]],  # error: [invalid-type-form]
    # error: [invalid-type-form] "Special form `Callable` expected exactly two arguments"
    # error: [invalid-type-form] "The first argument to `Callable` must be either a list of types, ParamSpec, Concatenate, or `...`"
    z: type[Callable[int]],  # error: [invalid-type-form] "The argument to `type[]` must be a class object type"
):
    reveal_type(x)  # revealed: type[Unknown]
    reveal_type(y)  # revealed: type[Unknown]
    reveal_type(z)  # revealed: type[Unknown]
```

## As a base class

```py
from ty_extensions._internal import reveal_mro

class Foo(type[int]): ...

reveal_mro(Foo)  # revealed: (<class 'Foo'>, <class 'type'>, <class 'object'>)
```

## `@final` classes

`type[]` types are eagerly converted to class-literal types if a class decorated with `@final` is
used as the type argument. This applies to standard-library classes and user-defined classes. The
same also applies to enum classes with members, which are implicitly final:

```toml
[environment]
python-version = "3.12"
```

```py
from types import EllipsisType
from typing import final
from enum import Enum

@final
class Foo: ...

class Answer(Enum):
    NO = 0
    YES = 1

def _(x: type[Foo], y: type[EllipsisType], z: type[Answer]):
    reveal_type(x)  # revealed: <class 'Foo'>
    reveal_type(y)  # revealed: <class 'EllipsisType'>
    reveal_type(z)  # revealed: <class 'Answer'>
```

## Subtyping `@final` classes

```toml
[environment]
python-version = "3.12"
```

```py
from typing import final, Any
from ty_extensions import static_assert
from ty_extensions._internal import is_assignable_to, is_subtype_of, is_disjoint_from

class Biv[T]: ...

class Cov[T]:
    def pop(self) -> T:
        raise NotImplementedError

class Contra[T]:
    def push(self, value: T) -> None:
        pass

class Inv[T]:
    x: T

@final
class BivSub[T](Biv[T]): ...

@final
class CovSub[T](Cov[T]): ...

@final
class ContraSub[T](Contra[T]): ...

@final
class InvSub[T](Inv[T]): ...

def _[T, U]():
    static_assert(is_subtype_of(type[BivSub[T]], type[BivSub[U]]))
    static_assert(not is_disjoint_from(type[BivSub[U]], type[BivSub[T]]))

    # `T` and `U` could specialize to the same type.
    static_assert(not is_subtype_of(type[CovSub[T]], type[CovSub[U]]))
    static_assert(not is_disjoint_from(type[CovSub[U]], type[CovSub[T]]))

    static_assert(not is_subtype_of(type[ContraSub[T]], type[ContraSub[U]]))
    static_assert(not is_disjoint_from(type[ContraSub[U]], type[ContraSub[T]]))

    static_assert(not is_subtype_of(type[InvSub[T]], type[InvSub[U]]))
    static_assert(not is_disjoint_from(type[InvSub[U]], type[InvSub[T]]))

def _():
    static_assert(is_subtype_of(type[BivSub[bool]], type[BivSub[int]]))
    static_assert(is_subtype_of(type[BivSub[int]], type[BivSub[bool]]))
    static_assert(not is_disjoint_from(type[BivSub[bool]], type[BivSub[int]]))
    # `BivSub[int]` and `BivSub[str]` are mutual subtypes.
    static_assert(not is_disjoint_from(type[BivSub[int]], type[BivSub[str]]))

    static_assert(is_subtype_of(type[CovSub[bool]], type[CovSub[int]]))
    static_assert(not is_subtype_of(type[CovSub[int]], type[CovSub[bool]]))
    static_assert(not is_disjoint_from(type[CovSub[bool]], type[CovSub[int]]))
    # `CovSub[Never]` is a subtype of both `CovSub[int]` and `CovSub[str]`.
    static_assert(not is_disjoint_from(type[CovSub[int]], type[CovSub[str]]))

    static_assert(not is_subtype_of(type[ContraSub[bool]], type[ContraSub[int]]))
    static_assert(is_subtype_of(type[ContraSub[int]], type[ContraSub[bool]]))
    static_assert(not is_disjoint_from(type[ContraSub[bool]], type[ContraSub[int]]))
    # `ContraSub[int | str]` is a subtype of both `ContraSub[int]` and `ContraSub[str]`.
    static_assert(not is_disjoint_from(type[ContraSub[int]], type[ContraSub[str]]))

    static_assert(not is_subtype_of(type[InvSub[bool]], type[InvSub[int]]))
    static_assert(not is_subtype_of(type[InvSub[int]], type[InvSub[bool]]))
    static_assert(is_disjoint_from(type[InvSub[int]], type[InvSub[str]]))
    static_assert(is_disjoint_from(type[InvSub[bool]], type[InvSub[int]]))

def _[T]():
    static_assert(is_subtype_of(type[BivSub[T]], type[BivSub[Any]]))
    static_assert(is_subtype_of(type[BivSub[Any]], type[BivSub[T]]))
    static_assert(is_assignable_to(type[BivSub[T]], type[BivSub[Any]]))
    static_assert(is_assignable_to(type[BivSub[Any]], type[BivSub[T]]))
    static_assert(not is_disjoint_from(type[BivSub[T]], type[BivSub[Any]]))

    static_assert(not is_subtype_of(type[CovSub[T]], type[CovSub[Any]]))
    static_assert(not is_subtype_of(type[CovSub[Any]], type[CovSub[T]]))
    static_assert(is_assignable_to(type[CovSub[T]], type[CovSub[Any]]))
    static_assert(is_assignable_to(type[CovSub[Any]], type[CovSub[T]]))
    static_assert(not is_disjoint_from(type[CovSub[T]], type[CovSub[Any]]))

    static_assert(not is_subtype_of(type[ContraSub[T]], type[ContraSub[Any]]))
    static_assert(not is_subtype_of(type[ContraSub[Any]], type[ContraSub[T]]))
    static_assert(is_assignable_to(type[ContraSub[T]], type[ContraSub[Any]]))
    static_assert(is_assignable_to(type[ContraSub[Any]], type[ContraSub[T]]))
    static_assert(not is_disjoint_from(type[ContraSub[T]], type[ContraSub[Any]]))

    static_assert(not is_subtype_of(type[InvSub[T]], type[InvSub[Any]]))
    static_assert(not is_subtype_of(type[InvSub[Any]], type[InvSub[T]]))
    static_assert(is_assignable_to(type[InvSub[T]], type[InvSub[Any]]))
    static_assert(is_assignable_to(type[InvSub[Any]], type[InvSub[T]]))
    static_assert(not is_disjoint_from(type[InvSub[T]], type[InvSub[Any]]))

def _[T, U]():
    static_assert(is_subtype_of(type[BivSub[T]], type[Biv[T]]))
    static_assert(not is_subtype_of(type[Biv[T]], type[BivSub[T]]))
    static_assert(not is_disjoint_from(type[BivSub[T]], type[Biv[T]]))
    static_assert(not is_disjoint_from(type[BivSub[U]], type[Biv[T]]))
    static_assert(not is_disjoint_from(type[BivSub[U]], type[Biv[U]]))

    static_assert(is_subtype_of(type[CovSub[T]], type[Cov[T]]))
    static_assert(not is_subtype_of(type[Cov[T]], type[CovSub[T]]))
    static_assert(not is_disjoint_from(type[CovSub[T]], type[Cov[T]]))
    static_assert(not is_disjoint_from(type[CovSub[U]], type[Cov[T]]))
    static_assert(not is_disjoint_from(type[CovSub[U]], type[Cov[U]]))

    static_assert(is_subtype_of(type[ContraSub[T]], type[Contra[T]]))
    static_assert(not is_subtype_of(type[Contra[T]], type[ContraSub[T]]))
    static_assert(not is_disjoint_from(type[ContraSub[T]], type[Contra[T]]))
    static_assert(not is_disjoint_from(type[ContraSub[U]], type[Contra[T]]))
    static_assert(not is_disjoint_from(type[ContraSub[U]], type[Contra[U]]))

    static_assert(is_subtype_of(type[InvSub[T]], type[Inv[T]]))
    static_assert(not is_subtype_of(type[Inv[T]], type[InvSub[T]]))
    static_assert(not is_disjoint_from(type[InvSub[T]], type[Inv[T]]))
    static_assert(not is_disjoint_from(type[InvSub[U]], type[Inv[T]]))
    static_assert(not is_disjoint_from(type[InvSub[U]], type[Inv[U]]))

def _():
    static_assert(is_subtype_of(type[BivSub[bool]], type[Biv[int]]))
    static_assert(is_subtype_of(type[BivSub[int]], type[Biv[bool]]))
    static_assert(not is_disjoint_from(type[BivSub[bool]], type[Biv[int]]))
    static_assert(not is_disjoint_from(type[BivSub[int]], type[Biv[bool]]))

    static_assert(is_subtype_of(type[CovSub[bool]], type[Cov[int]]))
    static_assert(not is_subtype_of(type[CovSub[int]], type[Cov[bool]]))
    static_assert(not is_disjoint_from(type[CovSub[bool]], type[Cov[int]]))
    static_assert(not is_disjoint_from(type[CovSub[int]], type[Cov[bool]]))

    static_assert(not is_subtype_of(type[ContraSub[bool]], type[Contra[int]]))
    static_assert(is_subtype_of(type[ContraSub[int]], type[Contra[bool]]))
    static_assert(not is_disjoint_from(type[ContraSub[int]], type[Contra[bool]]))
    static_assert(not is_disjoint_from(type[ContraSub[bool]], type[Contra[int]]))

    static_assert(not is_subtype_of(type[InvSub[bool]], type[Inv[int]]))
    static_assert(not is_subtype_of(type[InvSub[int]], type[Inv[bool]]))
    static_assert(is_disjoint_from(type[InvSub[bool]], type[Inv[int]]))
    static_assert(is_disjoint_from(type[InvSub[int]], type[Inv[bool]]))

def _[T]():
    static_assert(is_subtype_of(type[BivSub[T]], type[Biv[Any]]))
    static_assert(is_subtype_of(type[BivSub[Any]], type[Biv[T]]))
    static_assert(is_assignable_to(type[BivSub[T]], type[Biv[Any]]))
    static_assert(is_assignable_to(type[BivSub[Any]], type[Biv[T]]))
    static_assert(not is_disjoint_from(type[BivSub[T]], type[Biv[Any]]))

    static_assert(not is_subtype_of(type[CovSub[T]], type[Cov[Any]]))
    static_assert(not is_subtype_of(type[CovSub[Any]], type[Cov[T]]))
    static_assert(is_assignable_to(type[CovSub[T]], type[Cov[Any]]))
    static_assert(is_assignable_to(type[CovSub[Any]], type[Cov[T]]))
    static_assert(not is_disjoint_from(type[CovSub[T]], type[Cov[Any]]))

    static_assert(not is_subtype_of(type[ContraSub[T]], type[Contra[Any]]))
    static_assert(not is_subtype_of(type[ContraSub[Any]], type[Contra[T]]))
    static_assert(is_assignable_to(type[ContraSub[T]], type[Contra[Any]]))
    static_assert(is_assignable_to(type[ContraSub[Any]], type[Contra[T]]))
    static_assert(not is_disjoint_from(type[ContraSub[T]], type[Contra[Any]]))

    static_assert(not is_subtype_of(type[InvSub[T]], type[Inv[Any]]))
    static_assert(not is_subtype_of(type[InvSub[Any]], type[Inv[T]]))
    static_assert(is_assignable_to(type[InvSub[T]], type[Inv[Any]]))
    static_assert(is_assignable_to(type[InvSub[Any]], type[Inv[T]]))
    static_assert(not is_disjoint_from(type[InvSub[T]], type[Inv[Any]]))
```

## `type[]` types in unions with `Callable` types and callback protocols

`type[Foo]` is assignable to `Callable[[], Foo]` here:

```py
from typing import Callable, Protocol
from ty_extensions import static_assert, Top
from ty_extensions._internal import TypeOf, is_assignable_to, is_subtype_of

class Foo:
    def __init__(self): ...

class CustomCallback(Protocol):
    def __call__(self, /) -> Foo: ...

static_assert(is_assignable_to(type[Foo], Callable[[], Foo]))
static_assert(is_assignable_to(type[Foo], CustomCallback))
```

but it is not a subtype of `Callable[[], Foo]` or redundant with `Callable[[], Foo]`:

```py
static_assert(not is_subtype_of(type[Foo], Callable[[], Foo]))
static_assert(not is_subtype_of(type[Foo], CustomCallback))
```

and the reason for that is that constructor signatures are not checked for Liskov violations,
meaning that no type checker would complain about `Bar` here, even though the `__init__` signature
of `Bar` is inconsistent with `Foo.__init__`:

```py
class Bar(Foo):
    def __init__(self, x: int): ...
```

so if `type[Foo]` were considered a subtype of `Callable[[], Foo]`, then this union type would be
incorrectly simplified to `Callable[[], Foo]`:

```py
def test(x: type[Foo] | Callable[[], Foo], y: type[Foo] | CustomCallback):
    # these remain unsimplified!
    reveal_type(x)  # revealed: type[Foo] | (() -> Foo)
    reveal_type(y)  # revealed: type[Foo] | CustomCallback
```

which means that these assertions would fail:

```py
static_assert(is_subtype_of(type[Bar], type[Foo] | Callable[[], Foo]))
static_assert(is_subtype_of(type[Bar], type[Foo] | CustomCallback))
```

despite the fact that this would still pass!

```py
static_assert(is_subtype_of(type[Bar], type[Foo]))
```

leading to an embarrassing intransivity of subtyping, and failing property tests.

`type[]` types *are* callable, however, so they are always subtypes of `Top[Callable[..., object]]`:

```py
static_assert(is_subtype_of(type[Foo], Top[Callable[..., object]]))
static_assert(is_subtype_of(type[Foo], Top[Callable[..., Foo]]))
static_assert(is_subtype_of(TypeOf[Foo], Top[Callable[..., Foo]]))

static_assert(is_subtype_of(type[Bar], Top[Callable[..., object]]))
static_assert(is_subtype_of(type[Bar], Top[Callable[..., Foo]]))
static_assert(is_subtype_of(type[Bar], Top[Callable[..., Bar]]))
static_assert(is_subtype_of(TypeOf[Foo], Top[Callable[..., Foo]]))
```

And class-literal types cannot be unsoundly subtyped in the same way as `type[]` types, so they can
still be considered subtypes of (and redundant with) the `Callable` types describing their
constructor signatures:

```py
static_assert(is_subtype_of(TypeOf[Foo], Callable[[], Foo]))
static_assert(is_subtype_of(TypeOf[Foo], CustomCallback))
static_assert(is_subtype_of(TypeOf[Bar], Callable[[int], Bar]))
static_assert(not is_subtype_of(TypeOf[Bar], TypeOf[Foo]))
static_assert(is_subtype_of(TypeOf[Foo], TypeOf[Foo] | Callable[[], Foo]))
static_assert(is_subtype_of(TypeOf[Foo], TypeOf[Foo] | CustomCallback))
static_assert(is_subtype_of(TypeOf[Bar], type[Foo] | Callable[[], Foo]))
static_assert(is_subtype_of(TypeOf[Bar], type[Foo] | CustomCallback))
static_assert(is_subtype_of(TypeOf[Bar], TypeOf[Bar] | Callable[[], Bar]))
static_assert(is_subtype_of(TypeOf[Bar], type[Bar] | Callable[[], Bar]))
static_assert(is_subtype_of(TypeOf[Bar], TypeOf[Bar] | Callable[[int], Bar]))
static_assert(is_subtype_of(TypeOf[Bar], type[Bar] | Callable[[int], Bar]))

def f(
    a: TypeOf[Foo] | Callable[[], Foo],
    b: TypeOf[Bar] | Callable[[int], Bar],
    c: TypeOf[Bar] | Callable[[], Bar],
    d: TypeOf[Foo] | CustomCallback,
):
    reveal_type(a)  # revealed: () -> Foo
    reveal_type(b)  # revealed: (int, /) -> Bar
    reveal_type(c)  # revealed: <class 'Bar'> | (() -> Bar)
    reveal_type(d)  # revealed: CustomCallback
```

[syntax in the typing spec]: https://typing.python.org/en/latest/spec/annotations.html#type-and-annotation-expressions
