style: enable more pyright rules by CoderJoshDK · Pull Request #1441 · DisnakeDev/disnake

CoderJoshDK · 2025-10-17T12:56:11Z

Note

DO NOT REVIEW THIS. This is very much WIP. Will remove this note when ready to be reviewed.

Summary

Add in reportInconsistentOverload and reportInvalidTypeVarUse pyright rules

Was actually pretty quick to put this together. So it wasn't wasted work, even if you disagree with this PR.

But as stated in the issue; these overloads were not doing anything anyway. The generic should be provided in the class instead of left as an Unknown. And maybe I am misunderstanding the code. If so, please let me know why this change is wrong.

Updated the docs files because nox was complaining about deprecated usage.

These changes should all be a noop.

Checklist

If code changes were made, then they have been tested
- I have updated the documentation to reflect the changes
- I have formatted the code properly by running uv run nox -s lint
- I have type-checked the code by running uv run nox -s pyright
This PR fixes an issue
This PR adds something new (e.g. new method or parameters)
This PR is a breaking change (e.g. methods or parameters removed/renamed)
This PR is not a code change (e.g. documentation, README, ...)

read-the-docs-community · 2025-10-17T12:57:51Z

Documentation build overview

📚 disnake | 🛠️ Build #29999995 | 📁 Comparing 7ef8494 against latest (d9b77a7)

🔍 Preview build

Show files changed (48 files in total): 📝 48 modified | ➕ 0 added | ➖ 0 deleted

File	Status
index.html	📝 modified
whats_new.html	📝 modified
api/abc.html	📝 modified
api/activities.html	📝 modified
api/app_commands.html	📝 modified
api/app_info.html	📝 modified
api/audit_logs.html	📝 modified
api/automod.html	📝 modified
api/channels.html	📝 modified
api/clients.html	📝 modified
api/components.html	📝 modified
api/emoji.html	📝 modified
api/entitlements.html	📝 modified
api/events.html	📝 modified
api/exceptions.html	📝 modified
api/guild_scheduled_events.html	📝 modified
api/guilds.html	📝 modified
api/integrations.html	📝 modified
api/interactions.html	📝 modified
api/invites.html	📝 modified
api/localization.html	📝 modified
api/members.html	📝 modified
api/messages.html	📝 modified
api/misc.html	📝 modified
api/permissions.html	📝 modified
api/roles.html	📝 modified
api/skus.html	📝 modified
api/soundboard.html	📝 modified
api/stage_instances.html	📝 modified
api/stickers.html	📝 modified
api/subscriptions.html	📝 modified
api/ui.html	📝 modified
api/users.html	📝 modified
api/utilities.html	📝 modified
api/voice.html	📝 modified
api/webhooks.html	📝 modified
api/widgets.html	📝 modified
ext/tasks/index.html	📝 modified
ext/commands/api/app_commands.html	📝 modified
ext/commands/api/bots.html	📝 modified
ext/commands/api/checks.html	📝 modified
ext/commands/api/cogs.html	📝 modified
ext/commands/api/context.html	📝 modified
ext/commands/api/converters.html	📝 modified
ext/commands/api/exceptions.html	📝 modified
ext/commands/api/help_commands.html	📝 modified
ext/commands/api/misc.html	📝 modified
ext/commands/api/prefix_commands.html	📝 modified

Enegg · 2025-10-17T20:25:58Z

-        id: int = 0,
-        row: Optional[int] = None,
-    ) -> None: ...
-


Removing those should only be done once V_co TypeVar is changed to have a default.

Going to try to convert as many of these as I can to have a default. Moving this to draft for now. Will return to this PR later.

Add in reportInconsistentOverload and reportInvalidTypeVarUse

Enegg · 2025-10-19T21:13:15Z

+    )
 else:
    P = TypeVar("P")
+    BotT = TypeVar("BotT", bound="Union[Bot, AutoShardedBot]")


There's no real need to specify anything but the TypeVar's name in the else branch of TYPE_CHECKING

Suggested change

BotT = TypeVar("BotT", bound="Union[Bot, AutoShardedBot]")

BotT = TypeVar("BotT")

Enegg · 2025-10-19T21:19:48Z

+    CogT = TypeVar("CogT", bound="Optional[Cog]")
+    ContextT = TypeVar("ContextT", bound="Context")


https://github.com/DisnakeDev/disnake/pull/1441/files#r2443495659

Suggested change

CogT = TypeVar("CogT", bound="Optional[Cog]")

ContextT = TypeVar("ContextT", bound="Context")

CogT = TypeVar("CogT")

ContextT = TypeVar("ContextT")

Enegg · 2025-10-19T21:20:32Z

+    V_co = TypeVar("V_co", bound="Optional[View]", covariant=True, default=Optional[View])
 else:
    ParamSpec = TypeVar
+    V_co = TypeVar("V_co", bound="Optional[View]", covariant=True)


https://github.com/DisnakeDev/disnake/pull/1441/files#r2443495659

Suggested change

V_co = TypeVar("V_co", bound="Optional[View]", covariant=True)

V_co = TypeVar("V_co")

Enegg · 2025-10-19T21:21:33Z

    from ..item import ItemCallbackType
    from ..view import View

+    V_co = TypeVar("V_co", bound="Optional[View]", covariant=True, default=Optional[View])


The current behavior is to default to None

Suggested change

V_co = TypeVar("V_co", bound="Optional[View]", covariant=True, default=Optional[View])

V_co = TypeVar("V_co", bound="Optional[View]", covariant=True, default=None)

Enegg · 2025-10-19T21:27:27Z

-V_co = TypeVar("V_co", bound="Optional[View]", covariant=True)
+    V_co = TypeVar("V_co", bound="Optional[View]", covariant=True, default=Optional[View])
+else:
+    V_co = TypeVar("V_co", bound="Optional[View]", covariant=True)


https://github.com/DisnakeDev/disnake/pull/1441/files#r2443495659

Suggested change

V_co = TypeVar("V_co", bound="Optional[View]", covariant=True)

V_co = TypeVar("V_co")

Enegg · 2025-10-19T21:28:20Z

    from .item import ItemCallbackType
    from .view import View

+    V_co = TypeVar("V_co", bound="Optional[View]", covariant=True, default=Optional[View])


https://github.com/DisnakeDev/disnake/pull/1441/files#r2443498907

Suggested change

V_co = TypeVar("V_co", bound="Optional[View]", covariant=True, default=Optional[View])

V_co = TypeVar("V_co", bound="Optional[View]", covariant=True, default=None)

Enegg · 2025-10-19T21:28:46Z

+    V_co = TypeVar("V_co", bound="Optional[View]", covariant=True, default=Optional[View])
 else:
    ParamSpec = TypeVar
+    V_co = TypeVar("V_co", bound="Optional[View]", covariant=True)


Suggested change

V_co = TypeVar("V_co", bound="Optional[View]", covariant=True)

V_co = TypeVar("V_co")

Enegg · 2025-10-20T00:41:32Z

    from ..types.components import ActionRowChildComponent as ActionRowChildComponentPayload
    from .view import View

+    V_co = TypeVar("V_co", bound="Optional[View]", covariant=True, default=Optional[View])


Suggested change

V_co = TypeVar("V_co", bound="Optional[View]", covariant=True, default=Optional[View])

V_co = TypeVar("V_co", bound="Optional[View]", covariant=True, default=None)

Enegg · 2025-10-20T00:43:38Z

+    I = TypeVar("I", bound="Item[Any]")  # noqa: E741
+    V_co = TypeVar("V_co", bound="Optional[View]", covariant=True)
+
+    SelfViewT = TypeVar("SelfViewT", bound="Optional[View]")


Suggested change

I = TypeVar("I", bound="Item[Any]") # noqa: E741

V_co = TypeVar("V_co", bound="Optional[View]", covariant=True)

SelfViewT = TypeVar("SelfViewT", bound="Optional[View]")

I = TypeVar("I") # noqa: E741

V_co = TypeVar("V_co")

SelfViewT = TypeVar("SelfViewT")

Enegg · 2025-10-20T00:47:05Z

+    def __iter__(cls) -> Iterator[EnumMeta]:
        return (cls._enum_member_map_[name] for name in cls._enum_member_names_)

-    def __reversed__(cls) -> Iterator[EnumMetaT]:
+    def __reversed__(cls) -> Iterator[EnumMeta]:


These should be EnumMetaT, before you rebased the TypeVar was incorrectly bound to type[EnumMeta]

CoderJoshDK · 2025-10-20T00:52:17Z

@Enegg thank you for taking a look! Yea, I know a lot of things here are shifted around. This PR is not ready to be looked at anymore. Yes, there are a bunch of incorrect things in here. Will get to patching things up as they come up.

To be able to properly resolve some of the type errors, I need to resolve a bunch of Unknown situations too. So it is taking a bit of time and being a bit more complicated. Might need to lump this change in with a bigger Unknwon push. Will report back later.

CoderJoshDK · 2025-10-20T16:31:54Z

Going to wait for #1449 before I work on this more.

Also, after talking with @onerandomusername, I am going to move typing_extensions outside TYPE_CHECKING for TypeVar so we can consume the default in a much simpler way.

Enegg reviewed Oct 17, 2025

View reviewed changes

CoderJoshDK marked this pull request as draft October 17, 2025 20:32

CoderJoshDK force-pushed the pyright branch 2 times, most recently from 1360d1e to 526ef70 Compare October 18, 2025 01:45

shiftinv added the t: refactor/typing/lint Refactors, typing changes and/or linting changes label Oct 19, 2025

CoderJoshDK force-pushed the pyright branch 2 times, most recently from 058e876 to 38f2b66 Compare October 19, 2025 20:50

CoderJoshDK added 3 commits October 19, 2025 18:52

style: enable more pyright rules

6d2e93a

Add in reportInconsistentOverload and reportInvalidTypeVarUse

chore: add changelog

d0abf46

WIP: provide typing default for optional typevar

7ef8494

CoderJoshDK force-pushed the pyright branch from 38f2b66 to 7ef8494 Compare October 19, 2025 22:53

Enegg reviewed Oct 20, 2025

View reviewed changes

CoderJoshDK mentioned this pull request Oct 20, 2025

chore: use iterator findall over traverse #1453

Merged

8 tasks

shiftinv added the skip news label Oct 21, 2025

CoderJoshDK closed this by deleting the head repository Mar 1, 2026

	BotT = TypeVar("BotT", bound="Union[Bot, AutoShardedBot]")
	BotT = TypeVar("BotT")

		CogT = TypeVar("CogT", bound="Optional[Cog]")
		ContextT = TypeVar("ContextT", bound="Context")

	V_co = TypeVar("V_co", bound="Optional[View]", covariant=True)
	V_co = TypeVar("V_co")

Conversation

CoderJoshDK commented Oct 17, 2025 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Summary

Checklist

Uh oh!

read-the-docs-community Bot commented Oct 17, 2025 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Documentation build overview

Uh oh!

Uh oh!

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Uh oh!

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

CoderJoshDK commented Oct 20, 2025

Uh oh!

CoderJoshDK commented Oct 20, 2025

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

4 participants

CoderJoshDK commented Oct 17, 2025 •

edited

Loading

read-the-docs-community Bot commented Oct 17, 2025 •

edited

Loading