specialtypes_type error

Invalid typeX usage violations

Detects several categories of invalid use of typeX (or TypeX):

1. **Callable passed as typeT argument** — Callable and other special forms are not valid class objects and cannot be passed where typeT is expected.

2. **Incompatible class passed to typeA | B** — when a function expects typeA | B, passing a class that is neither A nor B is an error.

3. **Unknown attribute access on typeobject** — unlike typeAny, typeobject only exposes object's own attributes; accessing any other member is an error.

4. **Unknown attribute access on a TypeAlias bound to type / Type** — a bare alias such as TA1: TypeAlias = Type resolves to typeAny, but the alias name itself (used at module scope like TA1.unknown) does not expose arbitrary attributes.

How to handle it

Every rule is on by default — strict is the default, not a cage. You can dial specialtypes_type down per-file or per-path from your editor or pyproject.toml, or fix the code so it type-checks. See the Type System rules and the complete diagnostic reference.

Canonical URL: https://www.basilisk-python.dev/errors/specialtypes_type