language-servers/ruff
1
0
Fork 0
mirror of https://github.com/astral-sh/ruff.git synced 2025-10-31 12:05:57 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 3
ruff/crates/ty_python_semantic/resources/corpus
History
Carl Meyer 5a570c8e6d
[ty] fix deferred name loading in PEP695 generic classes/functions (#19888) 
## Summary

For PEP 695 generic functions and classes, there is an extra "type
params scope" (a child of the outer scope, and wrapping the body scope)
in which the type parameters are defined; class bases and function
parameter/return annotations are resolved in that type-params scope.

This PR fixes some longstanding bugs in how we resolve name loads from
inside these PEP 695 type parameter scopes, and also defers type
inference of PEP 695 typevar bounds/constraints/default, so we can
handle cycles without panicking.

We were previously treating these type-param scopes as lazy nested
scopes, which is wrong. In fact they are eager nested scopes; the class
`C` here inherits `int`, not `str`, and previously we got that wrong:

```py
Base = int

class C[T](Base): ...

Base = str
```

But certain syntactic positions within type param scopes (typevar
bounds/constraints/defaults) are lazy at runtime, and we should use
deferred name resolution for them. This also means they can have cycles;
in order to handle that without panicking in type inference, we need to
actually defer their type inference until after we have constructed the
`TypeVarInstance`.

PEP 695 does specify that typevar bounds and constraints cannot be
generic, and that typevar defaults can only reference prior typevars,
not later ones. This reduces the scope of (valid from the type-system
perspective) cycles somewhat, although cycles are still possible (e.g.
`class C[T: list[C]]`). And this is a type-system-only restriction; from
the runtime perspective an "invalid" case like `class C[T: T]` actually
works fine.

I debated whether to implement the PEP 695 restrictions as a way to
avoid some cycles up-front, but I ended up deciding against that; I'd
rather model the runtime name-resolution semantics accurately, and
implement the PEP 695 restrictions as a separate diagnostic on top.
(This PR doesn't yet implement those diagnostics, thus some `# TODO:
error` in the added tests.)

Introducing the possibility of cyclic typevars made typevar display
potentially stack overflow. For now I've handled this by simply removing
typevar details (bounds/constraints/default) from typevar display. This
impacts display of two kinds of types. If you `reveal_type(T)` on an
unbound `T` you now get just `typing.TypeVar` instead of
`typing.TypeVar("T", ...)` where `...` is the bound/constraints/default.
This matches pyright and mypy; pyrefly uses `type[TypeVar[T]]` which
seems a bit confusing, but does include the name. (We could easily
include the name without cycle issues, if there's a syntax we like for
that.)

It also means that displaying a generic function type like `def f[T:
int](x: T) -> T: ...` now displays as `f[T](x: T) -> T` instead of `f[T:
int](x: T) -> T`. This matches pyright and pyrefly; mypy does include
bound/constraints/defaults of typevars in function/callable type
display. If we wanted to add this, we would either need to thread a
visitor through all the type display code, or add a `decycle` type
transformation that replaced recursive reoccurrence of a type with a
marker.

## Test Plan

Added mdtests and modified existing tests to improve their correctness.

After this PR, there's only a single remaining py-fuzzer seed in the
0-500 range that panics! (Before this PR, there were 10; the fuzzer
likes to generate cyclic PEP 695 syntax.)

## Ecosystem report

It's all just the changes to `TypeVar` display.
2025-08-13 15:51:59 -07:00
..
00_const.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
00_empty.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
00_expr_discard.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
00_expr_var1.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
01_expr_unary.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
02_expr_attr.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
02_expr_attr_multiline.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
02_expr_attr_multiline_assign.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
02_expr_bin_bool.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
02_expr_binary.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
02_expr_bool_op_multiline.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
02_expr_bool_op_multiline2.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
02_expr_rel.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
02_expr_rel_multiple.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
02_expr_subscr.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
03_dict.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
03_dict_ex.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
03_dict_literal_large.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
03_dict_unpack_huge.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
03_list.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
03_list_ex.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
03_list_large.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
03_set.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
03_set_multi.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
03_slice.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
03_slice_ext.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
03_tuple.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
03_tuple_ex.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
04_assign.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
04_assign_attr.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
04_assign_attr_func.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
04_assign_named_expr.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
04_assign_subscr.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
04_assign_unpack.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
04_assign_unpack_ex.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
04_assign_unpack_tuple.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
04_aug_assign.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
04_aug_assign_attr_multiline.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
04_aug_assign_attr_sub.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
05_funcall.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
05_funcall_1.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
05_funcall_2.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
05_funcall_in_multiline_tuple.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
05_funcall_kw.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
05_funcall_kw_many.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
05_funcall_kw_pos.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
05_funcall_method_multiline.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
06_funcall_kwargs.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
06_funcall_many_args.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
06_funcall_starargs_ex.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
06_funcall_varargs.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
06_funcall_varargs_kwargs.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
06_funcall_varargs_kwargs_mixed.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
07_ifexpr.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
07_ifexpr_multiline.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
07_ifexpr_multiline2.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
08_del.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
08_del_multi.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
09_pass.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
10_if.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
10_if_chained_compare.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
10_if_false.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
10_if_invalid.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
10_if_true.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
10_if_with_named_expr.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
11_if_else.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
11_if_else_deeply_nested_for.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
11_if_else_false.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
11_if_else_true.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
12_if_elif.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
12_if_elif_else.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
13_ifelse_complex1.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
13_ifelse_many.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
15_while.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
15_while_break.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
15_while_break_in_finally.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
15_while_break_invalid_in_class.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
15_while_break_invalid_in_func.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
15_while_break_non_empty.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
15_while_break_non_exit.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
15_while_continue.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
15_while_false.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
15_while_infinite.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
15_while_true.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
16_for.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
16_for_break.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
16_for_break_invalid_in_class.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
16_for_break_invalid_in_func.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
16_for_continue.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
16_for_else.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
16_for_invalid.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
16_for_list_literal.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
16_for_nested_ifs.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
20_lambda.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
20_lambda_const.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
20_lambda_default_arg.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
20_lambda_ifelse.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
21_func1.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
21_func1_ret.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
21_func_assign.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
21_func_assign2.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
22_func_arg.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
22_func_vararg.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
23_func_ret.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
23_func_ret_val.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
24_func_if_ret.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
24_func_ifelse_ret.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
24_func_ifnot_ret.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
25_func_annotations.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
25_func_annotations_nested.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
25_func_annotations_same_name.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
25_func_annotations_scope.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
25_func_annotations_starred.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
26_func_const_defaults.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
26_func_defaults_same_name.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
27_func_generic.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
27_func_generic_bound.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
27_func_generic_constraint.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
27_func_generic_default.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
27_func_generic_paramspec.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
27_func_generic_paramspec_default.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
27_func_generic_tuple.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
27_func_generic_tuple_default.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
30_func_enclosed.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
30_func_enclosed_many.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
31_func_global.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
31_func_global_annotated_later.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
31_func_nonlocal.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
32_func_global_nested.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
33_func_with_docstring_optimizable_tuple_and_return.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
40_import.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
41_from_import.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
42_import_from_dot.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
50_yield.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
51_gen_comp.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
51_gen_comp2.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
52_gen_comp_if.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
53_dict_comp.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
53_list_comp.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
53_list_comp_method.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
53_set_comp.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
54_list_comp_func.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
54_list_comp_lambda.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
54_list_comp_lambda_listcomp.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
54_list_comp_recur_func.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
55_list_comp_nested.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
56_yield_from.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
57_await.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
58_async_for.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
58_async_for_break.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
58_async_for_continue.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
58_async_for_dict_comp.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
58_async_for_else.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
58_async_for_gen_comp.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
58_async_for_list_comp.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
58_async_for_set_comp.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
59_async_with.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
59_async_with_nested_with.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
60_try_except.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
60_try_except2.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
60_try_except_bare.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
60_try_finally.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
60_try_finally_codeobj.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
60_try_finally_cond.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
60_try_finally_for.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
60_try_finally_ret.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
61_try_except_finally.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
62_try_except_as.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
62_try_except_break.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
62_try_except_cond.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
62_try_except_double_nested_inside_if_else.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
62_try_except_return.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
63_raise.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
63_raise_func.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
63_raise_x.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
63_raise_x_from_y.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
64_assert.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
67_with.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
67_with_as.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
67_with_as_func.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
67_with_cond_return.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
67_with_inside_try_finally_multiple_terminal_elif.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
67_with_inside_try_finally_preceding_terminal_except.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
67_with_multi_exit.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
67_with_non_name_target.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
67_with_return.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
68_with2.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
69_for_try_except_continue1.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
69_for_try_except_continue2.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
69_for_try_except_continue3.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
70_class.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
70_class_base.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
70_class_doc_str.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
71_class_meth.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
71_class_var.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
72_class_mix.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
73_class_generic.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
73_class_generic_bounds.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
73_class_generic_constraints.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
73_class_generic_defaults.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
73_class_generic_paramspec.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
73_class_generic_paramspec_default.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
73_class_generic_tuple.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
73_class_generic_tuple_default.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
74_class_kwargs.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
74_class_kwargs_2.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
74_class_super.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
74_class_super_nested.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
74_just_super.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
75_classderef.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
75_classderef_no.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
76_class_nonlocal1.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
76_class_nonlocal2.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
76_class_nonlocal3.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
76_class_nonlocal4.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
76_class_nonlocal5.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
77_class__class__.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
77_class__class__nested.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
77_class__class__no_class.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
77_class__class__nonlocals.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
77_class__class__nonlocals_2.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
77_class__class__param.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
77_class__class__param_lambda.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
78_class_body_cond.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
78_class_dec.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
78_class_dec_member.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
78_class_dec_member_func.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
79_metaclass.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
80_func_kwonlyargs1.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
80_func_kwonlyargs2.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
80_func_kwonlyargs3.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
81_func_kwonlyargs_defaults.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
83_jupyter_notebook_ipython_magic.ipynb Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
85_match.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
85_match_as.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
85_match_attr.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
85_match_class.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
85_match_default.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
85_match_guard.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
85_match_guard_with_named_expr.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
85_match_in_func.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
85_match_in_func_with_rest.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
85_match_in_func_with_star.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
85_match_invalid.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
85_match_mapping.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
85_match_mapping_subpattern.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
85_match_or.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
85_match_sequence.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
85_match_sequence_wildcard.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
85_match_singleton.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
88_regression_generic_method_with_nested_function.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
88_regression_issue_738.py [ty] Fix panic for attribute expressions with empty value (#19069) 2025-07-09 08:46:33 +02:00
88_regression_issue_17792.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
88_regression_tuple_type_short_circuit.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
89_type_alias.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
90_docstring_class.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
90_docstring_func.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
90_docstring_mod.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
91_line_numbers1.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
91_line_numbers2.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
91_line_numbers2_comp.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
91_line_numbers3.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
91_line_numbers4.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
91_line_numbers_dict.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
91_line_numbers_dict_comp.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
92_qual_class_in_class.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
92_qual_class_in_func.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
93_deadcode.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
94_strformat.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
94_strformat_complex.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
94_strformat_conv.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
94_strformat_conversion.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
94_strformat_spec.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
95_annotation_assign_subscript_no_rhs.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
95_annotation_assign_tuple.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
95_annotation_class.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
95_annotation_class_multiline.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
95_annotation_class_no_value.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
95_annotation_fstring_invalid.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
95_annotation_func.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
95_annotation_func_future.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
95_annotation_global.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
95_annotation_global_simple.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
95_annotation_local_attr.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
95_annotation_module.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
95_annotation_string_tuple.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
95_annotation_union.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
96_debug.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
97_global_nonlocal_store.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
98_ann_assign_annotation_future_annotations.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
98_ann_assign_annotation_wrong_future.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
98_ann_assign_simple_annotation.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
99_empty_jump_target_insts.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
callable_invalid.py [ty] Fallback to Unknown if no type is stored for an expression (#19517) 2025-07-25 02:05:32 +00:00
callable_with_concatenate.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
cycle_narrowing_constraints.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
cycle_negative_narrowing_constraints.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
cyclic_pep695_typevars.py [ty] fix deferred name loading in PEP695 generic classes/functions (#19888) 2025-08-13 15:51:59 -07:00
except_handler_with_Any_bound_typevar.py [ty] fix deferred name loading in PEP695 generic classes/functions (#19888) 2025-08-13 15:51:59 -07:00
literal_slices.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
self_referential_function_annotation.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
sub_exprs_not_found_in_evaluate_expr_compare.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00
subclass_of_any_passed_to_tuple.py [ty] Do not consider a type T to satisfy a method member on a protocol unless the method is available on the meta-type of T (#19187) 2025-07-25 11:16:04 +01:00
ty_extensions.py Move corpus tests to ty_python_semantic (#18609) 2025-06-11 08:55:30 +02:00