Covariant overrides errors

[nanomad]

Hi all,

I'm having issues with MyPy and class based views (but also my custom HttpRequest for authenticated users as shown in the docs):

With this code:

from django.contrib.auth.models import User
from django.http import HttpRequest


class AuthenticatedHttpRequest(HttpRequest):
    user: User

The error I get
´Covariant override of a mutable attribute (base class "HttpRequest" defined the type as "User | AnonymousUser", expression has type "User")`

The mypy config I use is the following:

[mypy]
# Mypy configuration:
# https://mypy.readthedocs.io/en/latest/config_file.html
enable_error_code =
  truthy-bool,
  truthy-iterable,
  redundant-expr,
  unused-awaitable,
  ignore-without-code,
  possibly-undefined,
  redundant-self,
  explicit-override,
  mutable-override,
  unimported-reveal,
  deprecated,

explicit_package_bases = true
ignore_missing_imports = true
local_partial_types = true
strict = true
strict_bytes = true
warn_unreachable = true

plugins =
  mypy_django_plugin.main

[mypy-server.apps.*.migrations.*]
# Django migrations should not produce any errors (they are tested anyway):
ignore_errors = true

[mypy.plugins.django-stubs]
# Docs: https://github.com/typeddjango/django-stubs
django_settings_module = server.settings
strict_settings = false

I could disable the mutable-override check but the override seems sound to me (I'm strictly returning one of the values of the union type)