include bad types to make sure the type checker is actually working

livekit · Mar 19, 2024 · 5b244d1 · 5b244d1
1 parent 32be456
commit 5b244d1
Show file tree

Hide file tree

Showing 4 changed files with 7 additions and 1 deletion.
diff --git a/.github/workflows/check-types.yml b/.github/workflows/check-types.yml
@@ -32,4 +32,4 @@ jobs:
       run: python -m pip install ./livekit-api ./livekit-protocol ./livekit-rtc
 
     - name: Check Types 
-      run: python -m mypy -p 'livekit-protocol' -p 'livekit-api' -p 'livekit-rtc'
+      run: python -m mypy --install-type --non-interactive -p 'livekit-protocol' -p 'livekit-api' -p 'livekit-rtc'
diff --git a/livekit-api/livekit/api/access_token.py b/livekit-api/livekit/api/access_token.py
@@ -20,6 +20,8 @@
 import jwt
 from typing import Optional, List
 
+bad_type: str = 5
+
 DEFAULT_TTL = datetime.timedelta(hours=6)
 DEFAULT_LEEWAY = datetime.timedelta(minutes=1)
 

diff --git a/livekit-protocol/livekit/protocol/agent.pyi b/livekit-protocol/livekit/protocol/agent.pyi
@@ -6,6 +6,8 @@ from typing import ClassVar as _ClassVar, Mapping as _Mapping, Optional as _Opti
 
 DESCRIPTOR: _descriptor.FileDescriptor
 
+bad_type: str = 5
+
 class JobType(int, metaclass=_enum_type_wrapper.EnumTypeWrapper):
     __slots__ = ()
     JT_ROOM: _ClassVar[JobType]

diff --git a/livekit-rtc/livekit/rtc/audio_frame.py b/livekit-rtc/livekit/rtc/audio_frame.py
@@ -19,6 +19,8 @@
 from ._utils import get_address
 from typing import Union
 
+bad_type: str = 5
+
 
 class AudioFrame:
     def __init__(