type checking test

pomponchik · Mar 31, 2024 · 75b5f0e · 75b5f0e
1 parent a9666f5
commit 75b5f0e
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/tests/units/protocols/test_async_context_lock.py b/tests/units/protocols/test_async_context_lock.py
@@ -61,3 +61,10 @@ class AsyncContextLockProtocolImplementation(AsyncContextLockProtocol):
 
  with pytest.raises(NotImplementedError, match=full_match('Do not use the protocol as a lock.')): # type: ignore[operator]
  AsyncContextLockProtocolImplementation().__aexit__(None, None, None)
+
+
+def tests_for_type_checking(): # type: ignore[no-untyped-def]
+ def some_function(lock: AsyncContextLockProtocol) -> AsyncContextLockProtocol:
+ return lock
+
+ some_function(ALock())