[environment]
python-version = "3.10"
python-platform = "linux"

[project]
dependencies = ["sqlmodel==0.0.38"]

from sqlmodel import SQLModel

class User(SQLModel):
    id: int
    name: str

user = User(id=1, name="John Doe")

reveal_type(user.id)  # revealed: int
reveal_type(user.name)  # revealed: str

reveal_type(User.__init__)  # revealed: (self: User, *, id: int, name: str) -> None

User()  # error: [missing-argument]