mirror of https://github.com/astral-sh/ruff synced 2026-01-21 13:30:49 -05:00

Files

Carl Meyer 7aae80903c [red-knot] add support for typing_extensions.reveal_type (#13397 )

Before `typing.reveal_type` existed, there was
`typing_extensions.reveal_type`. We should support both.

Also adds a test to verify that we can handle aliasing of `reveal_type`
to a different name.

Adds a bit of code to ensure that if we have a union of different
`reveal_type` functions (e.g. a union containing both
`typing_extensions.reveal_type` and `typing.reveal_type`) we still emit
the reveal-type diagnostic only once. This is probably unlikely in
practice, but it doesn't hurt to handle it smoothly. (It comes up now
because we don't support `version_info` checks yet, so
`typing_extensions.reveal_type` is actually that union.)

---------

Co-authored-by: Alex Waygood <Alex.Waygood@Gmail.com>

2024-09-18 21:39:03 -07:00

src

[red-knot] add support for typing_extensions.reveal_type (#13397 )

2024-09-18 21:39:03 -07:00

vendor/typeshed

Sync vendored typeshed stubs (#13355 )

2024-09-14 20:40:42 -04:00

build.rs

[red-knot] Merge the semantic and module-resolver crates (#12751 )

2024-08-08 15:34:11 +01:00

Cargo.toml

[red-knot] add initial Type::is_equivalent_to and Type::is_assignable_to (#13332 )

2024-09-12 14:15:25 -04:00

README.md

[red-knot] Merge the semantic and module-resolver crates (#12751 )

2024-08-08 15:34:11 +01:00

README.md

Red Knot

Semantic analysis for the red-knot project.

Vendored types for the stdlib

This crate vendors typeshed's stubs for the standard library. The vendored stubs can be found in crates/red_knot_python_semantic/vendor/typeshed. The file crates/red_knot_python_semantic/vendor/typeshed/source_commit.txt tells you the typeshed commit that our vendored stdlib stubs currently correspond to.

The typeshed stubs are updated every two weeks via an automated PR using the sync_typeshed.yaml workflow in the .github/workflows directory. This workflow can also be triggered at any time via workflow dispatch.