Repository navigation
typing.no_type_check_decorator is not stubbed in typeshed #2884
Description
https://docs.python.org/3/library/typing.html#typing.no_type_check_decorator
I assume this also needs mypy support, as no_type_check is hardcoded there, but including in typeshed feels like a prereq.
from typing import no_type_check, no_type_check_decorator
@no_type_check_decorator
def test(fn):
return fn
@test
def blah(x: {'x': 1}):
pass
@no_type_check
def blah2(x: {'x': 1}):
pass
$ mypy notypecheck.py
notypecheck.py:1: error: Module 'typing' has no attribute 'no_type_check_decorator'
notypecheck.py:8: error: Invalid type comment or annotation
Activity
JelleZijlstra commentedon Mar 22, 2019
Yes, we should add it to typeshed. You are right though that type checkers like mypy will need to do additional work in order to make this decorator actually work.
lunixbochs commentedon Mar 22, 2019
Is this just going to be
no_type_check_decorator = object()and the type checker is expected to short circuit it internally?JelleZijlstra commentedon Mar 22, 2019
I'd prefer if we make it closer to its runtime implementation, which I think would be something like:
add no_type_check_decorator stub for python#2884
add no_type_check_decorator stub for python#2884
add no_type_check_decorator stub for #2884 (#3460)
CraftSpider commentedon Sep 18, 2020
This was added in #3460