ruff

[ty] bidirectional type inference using function return type annotations

#20528

Merged