David Peter 6b9f3d7d7c [red-knot] Import LiteralString/Never from typing_extensions (#14817) ...

## Summary

`typing.Never` and `typing.LiteralString` are only conditionally
exported from `typing` for Python versions 3.11 and later. We run the
Markdown tests with the default Python version of 3.9, so here we change
the import to `typing_extensions` instead, and add a new test to make
sure we'll continue to understand the `typing`-version of these symbols
for newer versions.

This didn't cause problems so far, as we don't understand
`sys.version_info` branches yet.

## Test Plan

New Markdown tests to make sure this will continue to work in the
future.

2024-12-06 13:57:51 +01:00

..

resources

[red-knot] Import LiteralString/Never from typing_extensions (#14817)

2024-12-06 13:57:51 +01:00

src

Migrate some inference tests to mdtests (#14795)

2024-12-06 11:19:22 +01:00

tests

mdtest: include test name in printed rerun command (#14684)

2024-11-30 11:01:06 +00:00

build.rs

Modernize build scripts (#13837)

2024-10-20 22:35:35 +01:00

Cargo.toml

[red-knot] Property tests (#14178)

2024-12-03 13:54:54 +01:00