Skip to content

(🎁) Report unreachable when TypeGuard[Never] #16160

New issue
New issue
Open
Open
(🎁) Report unreachable when TypeGuard[Never]#16160
Labels
featuretopic-reachabilityDetecting unreachable codetopic-typeguard-typeisTypeGuard / TypeIs / PEP 647 / PEP 742
@KotlinIsland

Description

@KotlinIsland
KotlinIsland
opened on Sep 22, 2023
def guard(a: object) -> TypeGuard[Never]: ...

a: object
assert guard(a)
print("hi")  # expected error unreachable

Metadata

Metadata

Assignees

No one assigned

    Labels

    featuretopic-reachabilityDetecting unreachable codetopic-typeguard-typeisTypeGuard / TypeIs / PEP 647 / PEP 742

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions