beartype / plum / 29282295207

99%

push

github

More typing (#268)

* typing: add overloads to `Function.__get__` and static type tests

Add `@overload` signatures to `Function.__get__` so type checkers can distinguish class-level access (returns `Function`) from instance-level access (returns `MethodType`).

Add `tests/static/function_get.pyi` with `assert_type` checks covering both access modes and the `@plum.dispatch` return-type preservation.

* typing: add `_BoundFunctionProto` to fix mypy descriptor resolution

Introduces `_BoundFunctionProto` as the declared type of `_BoundFunction._f`
instead of `Function` directly. This prevents mypy from applying
`Function.__get__`'s descriptor protocol when resolving instance-attribute
accesses of `_f`, eliminating the need for `# type: ignore[union-attr]`
and `# type: ignore[return-value]` suppressions in `_BoundFunction`.

* typing: suppress mypy no-untyped-def warnings in `_promotion.py`
* typing: add type annotations to `_parametric.py` and include in mypy checks

Add return types and parameter annotations to `ParametricTypeMeta` methods, `CovariantMeta` methods, and helpers in `_parametric.py`. Also add `_parametric.py` to the mypy-checked files list in `pyproject.toml`.

* refactor: narrow `parametric` signature: `type | None` → `type`

- Replace `cast(Callable[..., type], meta)(...)` with direct `meta(...)` calls using `meta: Any`
- Access `__new__` via intermediate `_new: Any` variable to satisfy mypy descriptor checks
- Remove stray blank line after docstring

Signed-off-by: nstarman <nstarman@users.noreply.github.com>
Co-authored-by: Wessel <wessel.p.bruinsma@gmail.com>

44 of 44 new or added lines in 3 files covered. (100.0%)

969 of 974 relevant lines covered (99.49%)

6.74 hits per line