Not seeing expected type errors that tutorial documentation says should exist in VSCode. Am I missing a configuration?

[jmt-gh]

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, Session, create_engine, select

class Hero(SQLModel, table=True):
    id: int | None = Field(default=None, primary_key=True)
    name: str
    secret_name: str
    age: int | None = None

sqlite_file_name = 'database.db'
sqlite_url = f"sqlite:///{sqlite_file_name}"

engine = create_engine(sqlite_url, echo=True)

def create_db_and_tables():
    SQLModel.metadata.create_all(engine)

def create_heroes():
    hero_1 = Hero(name="hero1name", secret_name="SLKDFJSDF", age=12)
    hero_2 = Hero(name="hero2name", secret_name="23432fs", age="old")
    hero_3 = Hero(name="hero3name", secret_name="asr324", age="99")

    with Session(engine) as session:
        session.add(hero_1)
        session.add(hero_2)
        session.add(hero_3)

        session.commit()


def select_heroes():
    print("=============== SELECT HEROES =================")
    with Session(engine) as session:
        statement = select(Hero).where(Hero.secret_identity == "Pedro Parqueador")
        results = session.exec(statement)
        heroes = results.all()
        print(heroes)
        for hero in heroes:
            print(hero)
            print(hero.name)
            print("----")


def main():
    create_db_and_tables()
    create_heroes()
    select_heroes()


if __name__ == "__main__":
    main()

Description

I'm following the tutorial, and got to this section about writing where clauses that describes when using expressions, we can expect to see validations on statements like:

statement = select(Hero).where(Hero.secret_identity == "Pedro Parqueador")

But.. I'm not seeing that in VSCode. In general actually, I'm not seeing any type errors when I try and break things on purpose, for example:

    hero_1 = Hero(name="hero1name", secret_name="SLKDFJSDF", age=12)
    hero_2 = Hero(name="hero2name", secret_name="23432fs", age="old")
    hero_3 = Hero(name="hero3name", secret_name="asr324", age="99")

I was expecting to get a type error on the assignment for age in hero_2 and hero_3.

Is there any specific VScode settings I need to set up to get pylance to properly start flagging these? Or do I have a misunderstanding of what I should expect to see.

Operating System

Linux

Operating System Details

No response

SQLModel Version

0.0.24

Python Version

3.10.12

Additional Context

No response

[jmt-gh]

Just another quick example:

From the README:

But in my editor:

This is a completely fresh install of VSCode, with the following extensions installed: