Should Manager have an extra generic type for the QuerySet?

[rtpg]

(Downstream of me trying to get annotations working on a project)

Imagine:

class TagQuerySet(models.QuerySet):
    def without_name(self):
        return self.filter(name__isnull=True)

class Tag(models.Model):
    name = models.CharField(max_length=10, null=True)

    objects = TagQuerySet.as_manager()

Type-theoretically, Tag.objects.without_name() can only really resolve itself if Tag.objects knows about TagQuerySet.

But django.models.manager.Manager only has one generic variable, for the model type.

With Python 3.13 and default generic args, it feels like we could get away with Manager[M, QS], so that there's a bit more of a straight line to "how does Tag.objects know about without_name".

[UnknownPlatypus]

Hey see the related issue and PR working on implementing this #2776