mypy shows error for session.exec(update) and comparisons in where clause

[jpenna]

First Check

• I added a very descriptive title here.
• I used the GitHub search to find a similar question and didn't find it.
• I searched the SQLModel documentation, with the integrated search.
• I already searched in Google "How to X in SQLModel" and didn't find any information.
• I already read and followed all the tutorial in the docs and didn't find an answer.
• I already checked if it is not related to SQLModel but to Pydantic.
• I already checked if it is not related to SQLModel but to SQLAlchemy.

Commit to Help

• I commit to help with one of those options 👆

Example Code

from sqlmodel import update
from pydantic import EmailStr
from sqlmodel import AutoString, Field, Relationship, SQLModel
from sqlmodel import Session

class User(SQLModel, table=True):
    email: EmailStr = Field(unique=True, index=True, sa_type=AutoString)
    full_name: str | None = None

def update_user(
    *,
    user: User,
    session: Session,
):
    session.exec(
        update(User)
        .where(
            User.email == "xxx",
            User.full_name == "yyy",
        )
        .values(
            email="nnn"
        )
    )

Description

1. Use mypy for type checking
2. Copy the provided sample script
3. See the error messages when running mypy or using the mypy IDE plugin

Operating System

Linux

Operating System Details

No response

SQLModel Version

0.0.19

Python Version

3.10.14

Additional Context

What is the problem?