Open hwittenborn opened 3 months ago
Using mypy --strict with Pycord seems to cause severe type checking issues
mypy --strict
pip install mypy py-cord
main.py
import discord bot = discord.Bot()
mypy main.py
Success: no issues found in 1 source file
mypy --strict main.py
mypy
main.py:2: error: Call to untyped function "Bot" in typed context [no-untyped-call]
No response
When --strict is used, no errors should be thrown.
--strict
When --strict is used, unclear errors are thrown.
N/A
I'm not positive if it's related, but just running mypy -p discord from within the same virtual environment is showing
mypy -p discord
Can repro
Summary
Using
mypy --strict
with Pycord seems to cause severe type checking issuesReproduction Steps
pip install mypy py-cord
main.py
, with the following content:mypy main.py
, and see no errors:mypy --strict main.py
, and seemypy
start to freak out:Minimal Reproducible Code
No response
Expected Results
When
--strict
is used, no errors should be thrown.Actual Results
When
--strict
is used, unclear errors are thrown.Intents
N/A
System Information
Checklist
Additional Context
I'm not positive if it's related, but just running
mypy -p discord
from within the same virtual environment is showing