ruff/crates/red_knot_python_semantic/resources at b57c62e6b3d96b38fd6090896451a78e8d57b50d - language-servers/ruff

mirror of https://github.com/astral-sh/ruff.git synced 2025-10-02 22:55:08 +00:00

History

Trevor Manz 53cfaaebc4 [red-knot] Add redundant-cast error (#17100 ) ## Summary Following up from earlier discussion on Discord, this PR adds logic to flag casts as redundant when the inferred type of the expression is the same as the target type. It should follow the semantics from [mypy](https://github.com/python/mypy/pull/1705). Example: ```python def f() -> int: return 10 # error: [redundant-cast] "Value is already of type `int`" cast(int, f()) ```	2025-04-01 00:37:25 +00:00
..
mdtest	[red-knot] Add redundant-cast error (#17100 )	2025-04-01 00:37:25 +00:00
README.md	[red-knot] document test framework (#13695 )	2024-10-10 12:02:01 -07:00

[red-knot] Add redundant-cast error (#17100 )

## Summary

Following up from earlier discussion on Discord, this PR adds logic to
flag casts as redundant when the inferred type of the expression is the
same as the target type. It should follow the semantics from
[mypy](https://github.com/python/mypy/pull/1705).

Example:

```python
def f() -> int:
    return 10

# error: [redundant-cast] "Value is already of type `int`"
cast(int, f())
```

2025-04-01 00:37:25 +00:00

mdtest

[red-knot] Add redundant-cast error (#17100 )

2025-04-01 00:37:25 +00: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.