[ty] Emit diagnostic on unbound call to abstract `@classmethod` or `@staticmethod` by charliermarsh · Pull Request #23182 · astral-sh/ruff

charliermarsh · 2026-02-09T19:31:30Z

Summary

Closes astral-sh/ty#1927.

astral-sh-bot · 2026-02-09T19:33:27Z

Typing conformance results

No changes detected ✅

astral-sh-bot · 2026-02-09T19:37:44Z

`ecosystem-analyzer` results

Lint rule	Added	Removed	Changed
`call-abstract-method`	6	0	0
Total	6	0	0

Full report with detailed diff (timing results)

astral-sh-bot · 2026-02-10T02:21:49Z

`mypy_primer` results

Changes were detected when running on open source projects

DateType (https://github.com/glyph/DateType)
+ src/datetype/test/test_datetype.py:123:46: error[call-abstract-method] Cannot call `combine` on class object: `combine` is an abstract classmethod with a trivial body
+ src/datetype/test/test_datetype.py:124:42: error[call-abstract-method] Cannot call `combine` on class object: `combine` is an abstract classmethod with a trivial body
+ src/datetype/test/test_datetype.py:132:38: error[call-abstract-method] Cannot call `combine` on class object: `combine` is an abstract classmethod with a trivial body
+ src/datetype/test/test_datetype.py:134:37: error[call-abstract-method] Cannot call `combine` on class object: `combine` is an abstract classmethod with a trivial body
+ src/datetype/test/test_datetype.py:137:38: error[call-abstract-method] Cannot call `combine` on class object: `combine` is an abstract classmethod with a trivial body
+ src/datetype/test/test_datetype.py:139:37: error[call-abstract-method] Cannot call `combine` on class object: `combine` is an abstract classmethod with a trivial body
- Found 8 diagnostics
+ Found 14 diagnostics

prefect (https://github.com/PrefectHQ/prefect)
- src/prefect/deployments/runner.py:1017:70: warning[possibly-missing-attribute] Attribute `__name__` may be missing on object of type `Unknown | (((...) -> Any) & ((*args: object, **kwargs: object) -> object))`
+ src/prefect/deployments/runner.py:1017:70: warning[possibly-missing-attribute] Attribute `__name__` may be missing on object of type `Unknown | ((...) -> Any)`
+ src/prefect/flow_engine.py:1004:32: error[invalid-await] `Unknown | R@FlowRunEngine | Coroutine[Any, Any, R@FlowRunEngine]` is not awaitable
+ src/prefect/flow_engine.py:1610:24: error[invalid-await] `Unknown | R@AsyncFlowRunEngine | Coroutine[Any, Any, R@AsyncFlowRunEngine]` is not awaitable
+ src/prefect/flow_engine.py:1691:43: error[invalid-argument-type] Argument to function `next` is incorrect: Expected `SupportsNext[Unknown]`, found `Unknown | R@run_generator_flow_sync`
+ src/prefect/flow_engine.py:1699:21: warning[possibly-missing-attribute] Attribute `throw` may be missing on object of type `Unknown | R@run_generator_flow_sync`
+ src/prefect/flow_engine.py:1733:44: warning[possibly-missing-attribute] Attribute `__anext__` may be missing on object of type `Unknown | R@run_generator_flow_async`
+ src/prefect/flow_engine.py:1740:25: warning[possibly-missing-attribute] Attribute `throw` may be missing on object of type `Unknown | R@run_generator_flow_async`
- src/prefect/flows.py:286:34: error[unresolved-attribute] Object of type `((**P@Flow) -> R@Flow) & ((*args: object, **kwargs: object) -> object)` has no attribute `__name__`
+ src/prefect/flows.py:286:34: error[unresolved-attribute] Object of type `(**P@Flow) -> R@Flow` has no attribute `__name__`
- src/prefect/flows.py:404:68: error[unresolved-attribute] Object of type `((**P@Flow) -> R@Flow) & ((*args: object, **kwargs: object) -> object)` has no attribute `__name__`
+ src/prefect/flows.py:404:68: error[unresolved-attribute] Object of type `(**P@Flow) -> R@Flow` has no attribute `__name__`
- src/prefect/flows.py:1886:53: warning[unused-type-ignore-comment] Unused blanket `type: ignore` directive
+ src/prefect/flows.py:1946:21: error[no-matching-overload] No overload of function `run_coro_as_sync` matches arguments
- src/prefect/input/run_input.py:672:20: error[invalid-return-type] Return type does not match returned value: expected `T@GetAutomaticInputHandler | AutomaticRunInput[T@GetAutomaticInputHandler]`, found `T@GetAutomaticInputHandler | AutomaticRunInput[T@GetAutomaticInputHandler] | Coroutine[Any, Any, T@GetAutomaticInputHandler | AutomaticRunInput[T@GetAutomaticInputHandler]]`
+ src/prefect/input/run_input.py:672:20: error[invalid-return-type] Return type does not match returned value: expected `T@GetAutomaticInputHandler | AutomaticRunInput[T@GetAutomaticInputHandler]`, found `Unknown | Coroutine[Any, Any, Unknown]`
- Found 5499 diagnostics
+ Found 5505 diagnostics

scikit-build-core (https://github.com/scikit-build/scikit-build-core)
- src/scikit_build_core/build/wheel.py:99:20: error[no-matching-overload] No overload of bound method `__init__` matches arguments
- Found 50 diagnostics
+ Found 49 diagnostics

sympy (https://github.com/sympy/sympy)
+ sympy/algebras/tests/test_quaternion.py:422:33: error[unsupported-operator] Operator `-` is not supported between two objects of type `MutableDenseMatrix`
+ sympy/codegen/tests/test_matrix_nodes.py:27:21: error[unsupported-operator] Operator `-` is not supported between two objects of type `MutableDenseMatrix`
+ sympy/matrices/eigen.py:1202:37: error[unresolved-attribute] Object of type `T1'return@call_highest_priority | T2'return@call_highest_priority` has no attribute `pow`
+ sympy/matrices/expressions/tests/test_blockmatrix.py:235:13: error[unsupported-operator] Operator `+` is not supported between two objects of type `MutableDenseMatrix`
+ sympy/matrices/expressions/tests/test_blockmatrix.py:235:33: error[unsupported-operator] Operator `+` is not supported between two objects of type `MutableDenseMatrix`
+ sympy/matrices/expressions/tests/test_blockmatrix.py:235:53: error[unsupported-operator] Operator `+` is not supported between two objects of type `MutableDenseMatrix`
+ sympy/matrices/expressions/tests/test_blockmatrix.py:459:12: error[unsupported-operator] Operator `-` is not supported between two objects of type `MutableDenseMatrix`
+ sympy/matrices/expressions/tests/test_derivatives.py:551:26: error[unsupported-operator] Operator `+` is not supported between two objects of type `MatrixBase | Expr`
+ sympy/matrices/expressions/tests/test_matadd.py:36:12: error[unsupported-operator] Operator `+` is not supported between objects of type `MatrixBase` and `MatrixBase | Expr`
+ sympy/matrices/expressions/tests/test_matpow.py:124:47: error[unsupported-operator] Operator `+` is not supported between two objects of type `ImmutableDenseMatrix`
+ sympy/matrices/inverse.py:385:11: error[unsupported-operator] Operator `-` is not supported between objects of type `MatrixBase` and `MatrixBase | Expr | Unknown`
+ sympy/matrices/inverse.py:393:11: error[unsupported-operator] Operator `+` is not supported between objects of type `MatrixBase` and `MatrixBase | Expr | Unknown`
+ sympy/matrices/matrixbase.py:979:18: error[unsupported-operator] Operator `+` is not supported between two objects of type `Self@_eval_wilkinson`
+ sympy/matrices/matrixbase.py:2957:16: error[invalid-return-type] Return type does not match returned value: expected `Self@_eval_pow_by_cayley`, found `Self@_eval_pow_by_cayley | T1'return@call_highest_priority | T2'return@call_highest_priority`
+ sympy/matrices/matrixbase.py:3256:16: error[invalid-return-type] Return type does not match returned value: expected `MatrixBase`, found `T1'return@call_highest_priority | T2'return@call_highest_priority`
+ sympy/matrices/matrixbase.py:3256:29: error[invalid-argument-type] Argument is incorrect: Expected `T1'return@call_highest_priority | T2'return@call_highest_priority`, found `MatrixBase`
+ sympy/matrices/matrixbase.py:3310:16: error[unsupported-operator] Operator `+` is not supported between two objects of type `MatrixBase`
+ sympy/matrices/matrixbase.py:3314:16: error[invalid-return-type] Return type does not match returned value: expected `Tmat@__sub__`, found `MatrixBase`
+ sympy/matrices/matrixbase.py:4386:16: error[unsupported-operator] Operator `+` is not supported between two objects of type `Self@add`
+ sympy/matrices/matrixbase.py:4923:16: error[invalid-return-type] Return type does not match returned value: expected `Self@analytic_func`, found `Self@analytic_func | T1'return@call_highest_priority | T2'return@call_highest_priority`
+ sympy/matrices/repmatrix.py:321:17: error[unsupported-operator] Operator `-` is not supported between two objects of type `Self@_eval_is_symmetric`
+ sympy/matrices/tests/test_commonmatrix.py:1249:31: error[unsupported-operator] Operator `+` is not supported between objects of type `MutableDenseMatrix` and `ImmutableDenseNDimArray`
+ sympy/matrices/tests/test_eigen.py:406:20: error[invalid-argument-type] Argument to function `max` is incorrect: Expected `Iterable[Unknown]`, found `MatrixBase | Unknown`
+ sympy/matrices/tests/test_immutable.py:105:23: error[unsupported-operator] Operator `+` is not supported between two objects of type `ImmutableDenseMatrix`
+ sympy/matrices/tests/test_matrices.py:121:12: error[unsupported-operator] Operator `+` is not supported between two objects of type `MutableDenseMatrix`
+ sympy/matrices/tests/test_matrices.py:123:32: error[unsupported-operator] Operator `+` is not supported between two objects of type `MutableDenseMatrix`
+ sympy/matrices/tests/test_matrices.py:141:12: error[unsupported-operator] Operator `+` is not supported between two objects of type `MutableDenseMatrix`
+ sympy/matrices/tests/test_matrices.py:2179:22: error[unsupported-operator] Operator `+` is not supported between two objects of type `Unknown | MutableDenseMatrix`
+ sympy/matrices/tests/test_matrices.py:2207:26: error[unsupported-operator] Operator `+` is not supported between two objects of type `Unknown | MutableDenseMatrix`
+ sympy/matrices/tests/test_matrices.py:2908:21: error[unsupported-operator] Operator `-` is not supported between two objects of type `MutableDenseMatrix`
+ sympy/matrices/tests/test_matrices.py:2921:13: error[unsupported-operator] Operator `-` is not supported between two objects of type `MutableDenseMatrix`
+ sympy/matrices/tests/test_matrices.py:2936:13: error[unsupported-operator] Operator `-` is not supported between two objects of type `MutableDenseMatrix`
+ sympy/matrices/tests/test_matrices.py:2937:13: error[unsupported-operator] Operator `-` is not supported between two objects of type `MutableDenseMatrix`
+ sympy/matrices/tests/test_matrices.py:2948:14: error[unsupported-operator] Operator `-` is not supported between two objects of type `MutableDenseMatrix`
+ sympy/matrices/tests/test_matrices.py:3471:21: error[unsupported-operator] Operator `-` is not supported between two objects of type `MutableDenseMatrix`
+ sympy/matrices/tests/test_matrices.py:3478:12: warning[possibly-missing-attribute] Attribute `rank` may be missing on object of type `MatrixBase | MatrixExpr | Unknown`
+ sympy/matrices/tests/test_matrices.py:3479:12: warning[possibly-missing-attribute] Attribute `rank` may be missing on object of type `MatrixBase | MatrixExpr | Unknown`
+ sympy/matrices/tests/test_matrixbase.py:491:12: error[unsupported-operator] Operator `+` is not supported between two objects of type `MutableDenseMatrix`
+ sympy/matrices/tests/test_matrixbase.py:493:32: error[unsupported-operator] Operator `+` is not supported between two objects of type `MutableDenseMatrix`
+ sympy/matrices/tests/test_matrixbase.py:544:12: error[unsupported-operator] Operator `-` is not supported between two objects of type `MutableDenseMatrix`
+ sympy/matrices/tests/test_matrixbase.py:823:31: error[unsupported-operator] Operator `+` is not supported between objects of type `MutableDenseMatrix` and `ImmutableDenseNDimArray`
+ sympy/matrices/tests/test_matrixbase.py:876:12: error[unsupported-operator] Operator `+` is not supported between two objects of type `MutableDenseMatrix`
+ sympy/matrices/tests/test_matrixbase.py:878:32: error[unsupported-operator] Operator `+` is not supported between two objects of type `MutableDenseMatrix`
+ sympy/matrices/tests/test_matrixbase.py:900:12: error[unsupported-operator] Operator `+` is not supported between two objects of type `MutableDenseMatrix`
+ sympy/matrices/tests/test_matrixbase.py:2931:22: error[unsupported-operator] Operator `+` is not supported between two objects of type `Unknown | MutableDenseMatrix`
+ sympy/matrices/tests/test_matrixbase.py:2959:26: error[unsupported-operator] Operator `+` is not supported between two objects of type `Unknown | MutableDenseMatrix`
+ sympy/matrices/tests/test_matrixbase.py:3610:21: error[unsupported-operator] Operator `-` is not supported between two objects of type `MutableDenseMatrix`
+ sympy/matrices/tests/test_matrixbase.py:3624:13: error[unsupported-operator] Operator `-` is not supported between two objects of type `MutableDenseMatrix`
+ sympy/matrices/tests/test_matrixbase.py:3639:13: error[unsupported-operator] Operator `-` is not supported between two objects of type `MutableDenseMatrix`
+ sympy/matrices/tests/test_matrixbase.py:3640:13: error[unsupported-operator] Operator `-` is not supported between two objects of type `MutableDenseMatrix`
+ sympy/matrices/tests/test_matrixbase.py:3652:14: error[unsupported-operator] Operator `-` is not supported between two objects of type `MutableDenseMatrix`
+ sympy/matrices/tests/test_reductions.py:377:21: error[unsupported-operator] Operator `-` is not supported between two objects of type `MutableDenseMatrix`
+ sympy/matrices/tests/test_reductions.py:384:12: warning[possibly-missing-attribute] Attribute `rank` may be missing on object of type `MatrixBase | MatrixExpr | Unknown`
+ sympy/matrices/tests/test_reductions.py:385:12: warning[possibly-missing-attribute] Attribute `rank` may be missing on object of type `MatrixBase | MatrixExpr | Unknown`
+ sympy/matrices/tests/test_solvers.py:68:13: error[unsupported-operator] Operator `-` is not supported between two objects of type `MutableDenseMatrix`
+ sympy/matrices/tests/test_sparse.py:573:12: error[unsupported-operator] Operator `+` is not supported between two objects of type `MutableSparseMatrix`
+ sympy/matrices/tests/test_sparse.py:577:52: error[unsupported-operator] Operator `+` is not supported between two objects of type `MutableSparseMatrix`
+ sympy/matrices/tests/test_sparse.py:593:17: error[unsupported-operator] Operator `+` is not supported between two objects of type `MutableSparseMatrix`
+ sympy/parsing/autolev/test-examples/ruletest5.py:13:6: error[unsupported-operator] Operator `+` is not supported between two objects of type `MutableDenseMatrix`
+ sympy/parsing/autolev/test-examples/ruletest5.py:16:38: error[unsupported-operator] Operator `+` is not supported between two objects of type `MutableDenseMatrix`
+ sympy/parsing/autolev/test-examples/ruletest5.py:16:84: error[unsupported-operator] Operator `+` is not supported between two objects of type `MutableDenseMatrix`
+ sympy/parsing/autolev/test-examples/ruletest5.py:16:131: error[unsupported-operator] Operator `+` is not supported between two objects of type `MutableDenseMatrix`
+ sympy/parsing/autolev/test-examples/ruletest5.py:21:44: error[unsupported-operator] Operator `+` is not supported between two objects of type `MutableDenseMatrix`
+ sympy/parsing/autolev/test-examples/ruletest5.py:21:90: error[unsupported-operator] Operator `+` is not supported between two objects of type `MutableDenseMatrix`
+ sympy/parsing/autolev/test-examples/ruletest5.py:21:137: error[unsupported-operator] Operator `+` is not supported between two objects of type `MutableDenseMatrix`
+ sympy/parsing/autolev/test-examples/ruletest5.py:25:37: error[unsupported-operator] Operator `+` is not supported between two objects of type `MutableDenseMatrix`
+ sympy/parsing/autolev/test-examples/ruletest5.py:25:83: error[unsupported-operator] Operator `+` is not supported between two objects of type `MutableDenseMatrix`
+ sympy/parsing/autolev/test-examples/ruletest5.py:25:130: error[unsupported-operator] Operator `+` is not supported between two objects of type `MutableDenseMatrix`
+ sympy/physics/control/tests/test_lti.py:3733:31: error[unsupported-operator] Operator `+` is not supported between two objects of type `MutableDenseMatrix`
+ sympy/physics/control/tests/test_lti.py:3733:38: error[unsupported-operator] Operator `+` is not supported between two objects of type `MutableDenseMatrix`
+ sympy/physics/mechanics/lagrange.py:222:23: error[unsupported-operator] Operator `-` is not supported between two objects of type `Unknown | MutableDenseMatrix`
+ sympy/physics/mechanics/lagrange.py:346:17: error[unsupported-operator] Operator `+` is not supported between two objects of type `Unknown | MutableDenseMatrix`
+ sympy/physics/mechanics/linearize.py:217:28: error[unsupported-operator] Operator `+` is not supported between two objects of type `Unknown | MutableDenseMatrix`
+ sympy/physics/mechanics/linearize.py:229:29: error[unsupported-operator] Operator `+` is not supported between two objects of type `Unknown | MutableDenseMatrix`
+ sympy/physics/mechanics/linearize.py:241:29: error[unsupported-operator] Operator `+` is not supported between two objects of type `Unknown | MutableDenseMatrix`
+ sympy/physics/mechanics/tests/test_jointsmethod.py:247:17: error[unsupported-operator] Operator `-` is not supported between two objects of type `MutableDenseMatrix`
+ sympy/physics/mechanics/tests/test_jointsmethod.py:249:17: error[unsupported-operator] Operator `-` is not supported between two objects of type `MutableDenseMatrix`
+ sympy/physics/quantum/tests/test_represent.py:89:17: error[unsupported-operator] Operator `+` is not supported between objects of type `MatrixBase | Expr` and `MatrixBase`
+ sympy/physics/quantum/tests/test_represent.py:91:24: error[unsupported-operator] Operator `-` is not supported between two objects of type `MatrixBase | Expr`
+ sympy/physics/quantum/tests/test_represent.py:93:28: error[unsupported-operator] Operator `+` is not supported between two objects of type `MatrixBase | Expr`
+ sympy/physics/vector/functions.py:380:21: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `Iterable[Unknown]`, found `MatrixBase | Unknown`
+ sympy/solvers/tests/test_numeric.py:137:11: error[unsupported-operator] Operator `+` is not supported between two objects of type `MutableDenseMatrix`
+ sympy/solvers/tests/test_solvers.py:722:19: error[unsupported-operator] Operator `-` is not supported between two objects of type `MatrixBase | Expr`
+ sympy/solvers/tests/test_solvers.py:723:19: error[unsupported-operator] Operator `-` is not supported between two objects of type `MatrixBase | Expr`
+ sympy/solvers/tests/test_solvers.py:724:19: error[unsupported-operator] Operator `-` is not supported between two objects of type `MatrixBase | Expr`
+ sympy/solvers/tests/test_solvers.py:724:30: error[unsupported-operator] Operator `-` is not supported between two objects of type `MatrixBase | Expr`
+ sympy/stats/tests/test_symbolic_multivariate.py:84:36: error[unsupported-operator] Operator `+` is not supported between two objects of type `MutableDenseMatrix`
+ sympy/stats/tests/test_symbolic_multivariate.py:84:84: error[unsupported-operator] Operator `+` is not supported between two objects of type `MutableDenseMatrix`
+ sympy/stats/tests/test_symbolic_multivariate.py:85:36: error[unsupported-operator] Operator `+` is not supported between two objects of type `MutableDenseMatrix`
+ sympy/tensor/tests/test_tensor.py:1693:19: error[unsupported-operator] Operator `+` is not supported between two objects of type `MutableDenseMatrix`
+ sympy/tensor/tests/test_tensor.py:1694:23: error[unsupported-operator] Operator `-` is not supported between two objects of type `MutableDenseMatrix`
- Found 15829 diagnostics
+ Found 15920 diagnostics

astral-sh-bot · 2026-02-10T02:42:09Z

Memory usage report

Summary

Project	Old	New	Diff	Outcome
prefect	707.81MB	707.85MB	+0.0% (0.04MB)	⏫
sphinx	281.73MB	281.73MB	+0.0% (0.00MB)	⏫
flake8	51.80MB	51.79MB	-0.0% (-0.00MB)	⬇️
trio	123.57MB	123.55MB	-0.0% (-0.02MB)	⬇️

Significant changes

Click to expand detailed breakdown

flake8

Name	Old	New	Diff	Outcome
`FunctionLiteral < 'db >::as_abstract_method_::interned_arguments`	0.00MB	0.00MB	-100.0% (-0.00MB)	⬇️
`FunctionLiteral < 'db >::as_abstract_method_`	0.00MB	0.00MB	-100.0% (-0.00MB)	⬇️
`infer_expression_types_impl`	1.11MB	1.11MB	+0.0% (0.00MB)	⬇️
`ClassType < 'db >::abstract_methods_`	0.00MB	0.00MB	-10.0% (-0.00MB)	⬇️
`infer_scope_types_impl`	1.14MB	1.14MB	+0.0% (0.00MB)	⬇️
`infer_definition_types`	1.94MB	1.94MB	+0.0% (0.00MB)	⬇️
`Type < 'db >::member_lookup_with_policy_`	0.43MB	0.43MB	+0.0% (0.00MB)	⬇️
`infer_expression_type_impl`	0.12MB	0.12MB	+0.0% (0.00MB)	⬇️
`StaticClassLiteral < 'db >::implicit_attribute_inner_`	0.32MB	0.32MB	+0.0% (0.00MB)	⬇️

prefect

Name	Old	New	Diff	Outcome
`FunctionLiteral < 'db >::as_abstract_method_::interned_arguments`	0.01MB	0.00MB	-100.0% (-0.01MB)	⏫
`is_redundant_with_impl::interned_arguments`	6.28MB	6.28MB	+0.0% (0.00MB)	⏫
`UnionType`	3.95MB	3.95MB	+0.0% (0.00MB)	⏫
`IntersectionType`	2.59MB	2.59MB	+0.0% (0.00MB)	⏫
`infer_expression_types_impl`	53.34MB	53.38MB	+0.1% (0.04MB)	⏫
`ClassType < 'db >::abstract_methods_`	0.13MB	0.10MB	-22.0% (-0.03MB)	⏫
`infer_definition_types`	86.68MB	86.69MB	+0.0% (0.02MB)	⏫
`infer_expression_type_impl`	10.79MB	10.80MB	+0.1% (0.01MB)	⏫
`FunctionLiteral < 'db >::as_abstract_method_`	0.01MB	0.00MB	-100.0% (-0.01MB)	⏫
`Type < 'db >::member_lookup_with_policy_`	15.84MB	15.84MB	+0.0% (0.00MB)	⏫
`infer_scope_types_impl`	59.91MB	59.92MB	+0.0% (0.00MB)	⏫
`all_negative_narrowing_constraints_for_expression`	1.59MB	1.59MB	+0.1% (0.00MB)	⏫
`all_narrowing_constraints_for_expression`	3.64MB	3.64MB	+0.1% (0.00MB)	⏫
`StaticClassLiteral < 'db >::implicit_attribute_inner_`	10.26MB	10.27MB	+0.0% (0.00MB)	⏫
`is_redundant_with_impl`	6.15MB	6.15MB	+0.0% (0.00MB)	⏫
...			7 more

sphinx

Name	Old	New	Diff	Outcome
`FunctionLiteral < 'db >::as_abstract_method_::interned_arguments`	0.01MB	0.00MB	-100.0% (-0.01MB)	⏫
`infer_expression_types_impl`	22.28MB	22.29MB	+0.1% (0.01MB)	⏫
`FunctionLiteral < 'db >::as_abstract_method_`	0.01MB	0.00MB	-100.0% (-0.01MB)	⏫
`ClassType < 'db >::abstract_methods_`	0.01MB	0.01MB	-12.8% (-0.00MB)	⏫
`infer_definition_types`	24.48MB	24.48MB	+0.0% (0.00MB)	⏫
`infer_scope_types_impl`	18.31MB	18.32MB	+0.0% (0.00MB)	⏫
`infer_deferred_types`	6.10MB	6.10MB	+0.0% (0.00MB)	⏫
`all_negative_narrowing_constraints_for_expression`	0.67MB	0.67MB	+0.0% (0.00MB)	⏫
`infer_expression_type_impl`	2.34MB	2.34MB	-0.0% (-0.00MB)	⏫
`StaticClassLiteral < 'db >::implicit_attribute_inner_`	2.66MB	2.66MB	-0.0% (-0.00MB)	⏫
`all_narrowing_constraints_for_expression`	1.12MB	1.12MB	+0.0% (0.00MB)	⏫
`Type < 'db >::member_lookup_with_policy_`	6.69MB	6.69MB	-0.0% (-0.00MB)	⏫

trio

Name	Old	New	Diff	Outcome
`FunctionLiteral < 'db >::as_abstract_method_::interned_arguments`	0.01MB	0.00MB	-100.0% (-0.01MB)	⬇️
`FunctionLiteral < 'db >::as_abstract_method_`	0.01MB	0.00MB	-100.0% (-0.01MB)	⬇️
`ClassType < 'db >::abstract_methods_`	0.03MB	0.02MB	-24.5% (-0.01MB)	⬇️
`infer_expression_types_impl`	5.87MB	5.88MB	+0.0% (0.00MB)	⬇️
`infer_definition_types`	7.54MB	7.54MB	+0.0% (0.00MB)	⬇️
`infer_scope_types_impl`	5.83MB	5.83MB	+0.0% (0.00MB)	⬇️
`Type < 'db >::member_lookup_with_policy_`	1.83MB	1.83MB	+0.0% (0.00MB)	⬇️
`infer_expression_type_impl`	0.73MB	0.73MB	+0.0% (0.00MB)	⬇️
`StaticClassLiteral < 'db >::implicit_attribute_inner_`	0.84MB	0.84MB	+0.0% (0.00MB)	⬇️

crates/ty_python_semantic/src/types/function.rs

crates/ty_python_semantic/resources/mdtest/call/abstract_method.md

crates/ty_python_semantic/src/types/infer/builder.rs

crates/ty_python_semantic/src/types/diagnostic.rs

crates/ty_python_semantic/src/types/function.rs

…ticmethod

…ticmethod

AlexWaygood

Looks good now, thank you!

crates/ty_python_semantic/src/types/diagnostic.rs

crates/ty_python_semantic/resources/mdtest/call/abstract_method.md

AlexWaygood

Nice!

Summarise the guidance from #23182 (discussion_r2786953726): methods that access .node() on Salsa-tracked types must be #[salsa::tracked], and higher-level semantic APIs should be preferred over raw AST access to preserve incrementality. https://claude.ai/code/session_01VcvJoy5txSavsYH15JbJnZ

charliermarsh added ty Multi-file analysis & type inference ecosystem-analyzer labels Feb 9, 2026

charliermarsh force-pushed the charlie/unsound branch from add1990 to 02751e4 Compare February 10, 2026 02:18

charliermarsh marked this pull request as ready for review February 10, 2026 02:19

charliermarsh requested review from AlexWaygood, MichaReiser, carljm, dcreager and sharkdp as code owners February 10, 2026 02:19

charliermarsh force-pushed the charlie/unsound branch from 02751e4 to b20822c Compare February 10, 2026 02:38

AlexWaygood requested changes Feb 10, 2026

View reviewed changes

crates/ty_python_semantic/src/types/function.rs Show resolved Hide resolved

AlexWaygood self-assigned this Feb 10, 2026

AlexWaygood reviewed Feb 10, 2026

View reviewed changes

crates/ty_python_semantic/src/types/function.rs Outdated Show resolved Hide resolved

[ty] Emit diagnostic on unbound call to abstract @classmethod or @sta…

df165be

…ticmethod

charliermarsh marked this pull request as draft February 10, 2026 13:46

charliermarsh force-pushed the charlie/unsound branch from b20822c to 35e0455 Compare February 10, 2026 14:34

charliermarsh marked this pull request as ready for review February 10, 2026 14:35

Review feedback

5ba9f1b

charliermarsh force-pushed the charlie/unsound branch from 35e0455 to 5ba9f1b Compare February 10, 2026 14:38

AlexWaygood reviewed Feb 10, 2026

View reviewed changes

crates/ty_python_semantic/src/types/diagnostic.rs Outdated Show resolved Hide resolved

crates/ty_python_semantic/resources/mdtest/call/abstract_method.md Show resolved Hide resolved

Review feedback

99a8d69

AlexWaygood approved these changes Feb 10, 2026

View reviewed changes

charliermarsh merged commit 6d797e2 into main Feb 10, 2026
49 checks passed

charliermarsh deleted the charlie/unsound branch February 10, 2026 15:52

Conversation

charliermarsh commented Feb 9, 2026

Summary

Uh oh!

astral-sh-bot bot commented Feb 9, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Typing conformance results

Uh oh!

astral-sh-bot bot commented Feb 9, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

ecosystem-analyzer results

Uh oh!

astral-sh-bot bot commented Feb 10, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

mypy_primer results

Uh oh!

astral-sh-bot bot commented Feb 10, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Memory usage report

Summary

Significant changes

flake8

prefect

sphinx

trio

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

AlexWaygood left a comment

Choose a reason for hiding this comment

Uh oh!

Uh oh!

Uh oh!

AlexWaygood left a comment

Choose a reason for hiding this comment

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants

Comments

astral-sh-bot bot commented Feb 9, 2026 •

edited

Loading

astral-sh-bot bot commented Feb 9, 2026 •

edited

Loading

`ecosystem-analyzer` results

astral-sh-bot bot commented Feb 10, 2026 •

edited

Loading

`mypy_primer` results

astral-sh-bot bot commented Feb 10, 2026 •

edited

Loading