c9b0c19fec
This brings down the number of type errors from 118 down to 92. I think most of the remaining errors are due to the */models.py files where I'm not sure what to do about it. I run the type checker in docker via `just typecheck`.
The change in 0af3fbcac4 requires this change upstream: https://github.com/valberg/django-registries/pull/28 we can omit that commit for now.
Reviewed-on: https://git.data.coop/data.coop/membersystem/pulls/81
Reviewed-by: benjaoming <benjaoming@data.coop>
Co-authored-by: Reynir Björnsson <reynir@reynir.dk>
Co-committed-by: Reynir Björnsson <reynir@reynir.dk>
11 lines
288 B
Python
11 lines
288 B
Python
"""Collection of types for the project."""
|
|
|
|
from django.contrib.auth.models import User
|
|
from django.http import HttpRequest
|
|
|
|
|
|
class AuthenticatedHttpRequest(HttpRequest):
|
|
"""HttpRequest with an authenticated user."""
|
|
|
|
# XXX(reynir): Should this be Member instead?!
|
|
user: User
|