ruff/crates/red_knot_python_semantic/resources at 860b95a318d5dabb9b33e5595b8cc229d0841ce2 - language-servers/ruff

mirror of https://github.com/astral-sh/ruff.git synced 2025-09-30 05:45:24 +00:00

History

David Peter 860b95a318 [red-knot] Binary operator inference for union types (#16601 ) ## Summary Properly handle binary operator inference for union types. This fixes a bug I noticed while looking at ecosystem results. The MRE version of it is this: ```py def sub(x: float, y: float): # Red Knot: Operator `-` is unsupported between objects of type `int \| float` and `int \| float` return x - y ``` ## Test Plan - New Markdown tests. - Expected diff in the ecosystem checks	2025-03-12 08:21:54 +01:00
..
mdtest	[red-knot] Binary operator inference for union types (#16601 )	2025-03-12 08:21:54 +01:00
README.md	[red-knot] document test framework (#13695 )	2024-10-10 12:02:01 -07:00

[red-knot] Binary operator inference for union types (#16601 )

## Summary

Properly handle binary operator inference for union types.

This fixes a bug I noticed while looking at ecosystem results. The MRE
version of it is this:

```py
def sub(x: float, y: float):
    # Red Knot: Operator `-` is unsupported between objects of type `int | float` and `int | float`
    return x - y
```

## Test Plan

- New Markdown tests.
- Expected diff in the ecosystem checks

2025-03-12 08:21:54 +01:00

mdtest

[red-knot] Binary operator inference for union types (#16601 )

2025-03-12 08:21:54 +01:00

README.md

[red-knot] document test framework (#13695 )

2024-10-10 12:02:01 -07:00

README.md

Markdown files within the mdtest/ subdirectory are tests of type inference and type checking; executed by the tests/mdtest.rs integration test.

See crates/red_knot_test/README.md for documentation of this test format.