`django.contrib.auth.models.User.email` allows assignment of an integer

[flaeppe]

Bug report

django.contrib.auth.models.User.email allows assignment of an integer. It's not just a problem for the User model but for all instances of EmailField.

What's wrong

from django.contrib.auth.models import User
user = User()
user.email = 1

How is that should be

There should be an "Incompatible types in assignment ..."

System information

• OS:
• python version: 3.12.3
• django version: 5.0.6
• mypy version: 1.10.0
• django-stubs version: master
• django-stubs-ext version: master