no error when using `TypeGuard` outside of return type #11765

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Open

DetachHead opened this issue Dec 16, 2021 · 1 comment

Labels

bug topic-typeguard

Contributor

DetachHead commented 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

DetachHead added the bug label

Member

sobolevn commented Dec 16, 2021

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

sobolevn mentioned this issue

Disallow to use TypeGuard type outside of .ret_type, refs #11765 #11790

Closed

JelleZijlstra added the topic-typeguard label

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment