Skip to content

no error when using TypeGuard outside of return type #11765

Open
Open
no error when using TypeGuard outside of return type#11765
Labels
bugmypy got something wrongtopic-typeguard-typeisTypeGuard / TypeIs / PEP 647 / PEP 742

Description

@DetachHead
DetachHead
opened on Dec 16, 2021
from typing import TypeGuard

def foo(value: TypeGuard[int]) -> None: ...  # no error

bar: TypeGuard[int] = True  # no error

https://mypy-play.net/?mypy=master&python=3.10&flags=show-error-codes%2Callow-redefinition%2Cstrict%2Ccheck-untyped-defs%2Cdisallow-any-decorated%2Cdisallow-any-expr%2Cdisallow-any-explicit%2Cdisallow-any-generics%2Cdisallow-any-unimported%2Cdisallow-incomplete-defs%2Cdisallow-subclassing-any%2Cdisallow-untyped-calls%2Cdisallow-untyped-decorators%2Cdisallow-untyped-defs%2Cno-implicit-optional%2Cno-implicit-reexport%2Cstrict-equality%2Cwarn-incomplete-stub%2Cwarn-redundant-casts%2Cwarn-return-any%2Cwarn-unreachable%2Cwarn-unused-configs%2Cwarn-unused-ignores&gist=5688d5a175acf9e249be851648be999e

Activity

  1. DetachHead
    added
    bugmypy got something wrong
    on Dec 16, 2021

  2. sobolevn commented on Dec 16, 2021

    @sobolevn
    sobolevn
    on Dec 16, 2021
    Member

    I am actually working on this 🙂
    I will push my changes later this week.

  3. JelleZijlstra
    added
    topic-typeguard-typeisTypeGuard / TypeIs / PEP 647 / PEP 742
    on Mar 19, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    bugmypy got something wrongtopic-typeguard-typeisTypeGuard / TypeIs / PEP 647 / PEP 742

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions