Mypy fails to type-check SQLModel class initialization

[H-Zouari]

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 Field, SQLModel

class Foo(SQLModel):
    test: int = Field()

Foo()  # mypy doesn't detect missing required argument
Foo(test="")  # mypy doesn't detect type mismatch

class Bar(SQLModel):
    test: int

Bar()  # mypy doesn't detect missing required argument
Bar(test="")  # mypy fails to detect type mismatch

Description

Mypy consistently fails to type-check the initialization of SQLModel classes. This occurs both when using Field() and without it. Specifically:

• mypy fails to detect missing required arguments during class initialization
• mypy fails to detect type mismatches during class initialization

It's important to note that mypy does correctly type-check assignments after initialization.

Interestingly, Pyright seems to handle these cases correctly, suggesting this might be specific to mypy's interaction with SQLModel.
I thought it would be worth mentioning here in case others have encountered similar issues or if there might be a way to improve SQLModel's compatibility with mypy

Operating System

Linux

Operating System Details

No response

SQLModel Version

0.0.22

Python Version

3.12.5

Additional Context

mypy versions tested (default config):
1.4.1
1.11.2