agronholm / typeguard / 30042551601

95%

Build Type

push

github

Committed by web-flow

Commit Message

Do not erase a meaningful empty tuple[()] subscript in the transformer (#565)

The AST transformer erased a subscript when all its items resolved to Any, using `all(item is None for item in items)`. For `tuple[()]` the slice is an empty tuple, so `items` is empty and `all([])` is vacuously True — the transformer rewrote `tuple[()]` down to bare `tuple`, discarding the empty-tuple constraint. Both the import hook and @typechecked (which share the transformer) then accepted any tuple for a `tuple[()]` annotation, while check_type — which does not go through the transformer — correctly rejected it. Guard the erasure with `items and ...` so an empty subscript is preserved.

Signed-off-by: chuenchen309 <48723787+chuenchen309@users.noreply.github.com>

* Added missing PR link

---------

Signed-off-by: chuenchen309 <48723787+chuenchen309@users.noreply.github.com>

Coverage Stats

1 of 1 new or added line in 1 file covered. (100.0%)

1 existing line in 1 file now uncovered.

1646 of 1739 relevant lines covered (94.65%)

6.53 hits per line