Args types for Model.objects.filter

[mjozan]

Hello,

I am using vscode with Pylance and I would like to know if it is normal that the types for Model.objects.filter arguments are Any. So if I do this it does not complain:

class Cheese(models.Model):
    a: BooleanField = models.BooleanField()


def f() -> None:
    Cheese.objects.filter(does_not_exist=True)

When I ctrl + click it redirects me to this line that shows that there is not type checking for the filter argument.

django-stubs/django-stubs/db/models/manager.pyi

Line 116 in e566001

def filter(self, *args: Any, **kwargs: Any) -> QuerySet[_T]: ...

Is there a way to have type checking for these arguments please?