David Peter 2d3f557875 [red-knot] Fallback for typing._NoDefaultType (#14783) ... ## Summary `typing_extensions` has a `>=3.13` re-export for the `typing.NoDefault` singleton, but not for `typing._NoDefaultType`. This causes problems as soon as we understand `sys.version_info` branches, so we explicity switch to `typing._NoDefaultType` for Python 3.13 and later. This is a part of #14759 that I thought might make sense to break out and merge in isolation. ## Test Plan New test that will become more meaningful with #12700 --------- Co-authored-by: Micha Reiser <micha@reiser.io>		2024-12-05 09:17:55 +01:00
..
resources	[red-knot] Infer precise types for len() calls (#14599)	2024-12-04 11:16:53 -08:00
src	[red-knot] Fallback for typing._NoDefaultType (#14783)	2024-12-05 09:17:55 +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