ruff/crates/red_knot_python_semantic/resources at 1f07880d5c410bcd5192a1bd20e8f7d59bc4aab4 - language-servers/ruff

mirror of https://github.com/astral-sh/ruff.git synced 2025-10-03 07:04:53 +00:00

History

David Peter d81b6cd334 [red-knot] Types for subexpressions of annotations (#14426 ) ## Summary This patches up various missing paths where sub-expressions of type annotations previously had no type attached. Examples include: ```py tuple[int, str] # ~~~~~~~~ type[MyClass] # ~~~~~~~ Literal["foo"] # ~~~~~ Literal["foo", Literal[1, 2]] # ~~~~~~~~~~~~~ Literal[1, "a", random.illegal(sub[expr + ession])] # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ``` ## Test Plan ``` cargo nextest run -p red_knot_workspace -- --ignored linter_af linter_gz ```	2024-11-18 13:03:27 +01:00
..
mdtest	[red-knot] Types for subexpressions of annotations (#14426 )	2024-11-18 13:03:27 +01:00
README.md	[red-knot] document test framework (#13695 )	2024-10-10 12:02:01 -07:00

[red-knot] Types for subexpressions of annotations (#14426 )

## Summary

This patches up various missing paths where sub-expressions of type
annotations previously had no type attached. Examples include:
```py
tuple[int, str]
#     ~~~~~~~~

type[MyClass]
#    ~~~~~~~

Literal["foo"]
#       ~~~~~

Literal["foo", Literal[1, 2]]
#              ~~~~~~~~~~~~~

Literal[1, "a", random.illegal(sub[expr + ession])]
#               ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
```

## Test Plan

```
cargo nextest run -p red_knot_workspace -- --ignored linter_af linter_gz
```

2024-11-18 13:03:27 +01:00

mdtest

[red-knot] Types for subexpressions of annotations (#14426 )

2024-11-18 13:03:27 +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.