is it possible to support filter_by check in sqlalchemy

background:

In SQLAlchemy, two styles:

1

select(Table).where(Table.col == other)

2

select(Table).filter_by(col = other)

But in 2, col is Any, so no check here.

@asukaminato0721

@asukaminato0721 Thank you for the report! Could you provide a bit more detail to help me understand the issue? What are select and Table? (Are the defined somewhere in your code? Imported from SQLAlchemy?)

a minimal example:

from sqlalchemy.orm import DeclarativeBase
from sqlalchemy.orm import Mapped
from sqlalchemy.orm import mapped_column
from sqlalchemy import select


class Base(DeclarativeBase):
    pass


class Table(Base):
    __tablename__ = "user_account"

    col: Mapped[str]

select ref: https://docs.sqlalchemy.org/en/20/core/selectable.html#sqlalchemy.sql.expression.select

filter_by: https://docs.sqlalchemy.org/en/20/core/selectable.html#sqlalchemy.sql.expression.Select.filter_by

current problem is

sqlalchemy.sql.expression.Select.filter_by(**kwargs: Any) → Self¶

as the signature shows, Any, so no check here.

Thanks, that's really helpful! If the function is annotated with **kwargs: Any in the source, getting more precise types would most likely require hard-coded logic in Pyrefly for SQLAlchemy. That's definitely something we can look into (we've already done something similar for Pydantic), but timeline-wise, it'll likely come after #920 and fixing any obvious bugs.

fix is it possible to support filter_by check in sqlalchemy #1072

Navigation Menu

Repository navigation

is it possible to support filter_by check in sqlalchemy #1072

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

is it possible to support filter_by check in sqlalchemy #1072

Description

Activity

rchen152 commented on Sep 12, 2025

asukaminato0721 commented on Sep 12, 2025

rchen152 commented on Sep 12, 2025

Metadata

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Issue actions