在我全新的PyCharm专业版中，我得到了警告“Unresolved attribute reference 'user' for 'WSGIRequest'"。该警告出现在MyClass.post()的第一行（参见下面的代码）。

from django.views import generic
from django.db import models
from django.http.request import HttpRequest
from django.shortcuts import render
from django.contrib.auth.models import AbstractUser

class CustomUser( AbstractUser ):
    emailname = models.CharField()

class Invoice( models.Model ):
    posted = models.DateField()

class BaseView ( generic.DetailView ):

    model = Invoice

    def __int__( self, *args, **kwargs ):
        super().__init__( *args, **kwargs )
        # some more code

class MyClass( BaseView ):

    def __int__( self, *args, **kwargs ):
        super().__init__( *args, **kwargs )
        # some more code

    def post( self, request: HttpRequest, *args, **kwargs ):
        context = { 'curr_user': request.user, } # <-- Unresolved attribute reference 'user' for class 'WSGIRequest'
        # some more code
        html_page = 'mypage.html'
        return render( request, html_page, context )

字符串
user是一个CustomUser对象。测试表明，user是CustomUser中的已知属性，代码运行良好，context中的'Curr_user'是预期的属性。request的其他属性，如request.path或request.REQUEST不会被警告。Django支持已启用。
我使用PyCharm 2023.2.5（专业版），Windows 11
有人能帮忙吗？我错在哪里？
问候