language-servers/ruff
1
0
Fork 0
mirror of https://github.com/astral-sh/ruff.git synced 2025-12-23 09:19:39 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 2
ruff/crates/ty_python_semantic/resources/corpus
History
Shunsuke Shibayama 06db474f20
Some checks are pending
CI / benchmarks instrumented (ruff) (push) Blocked by required conditions
Details
CI / Determine changes (push) Waiting to run
Details
CI / cargo fmt (push) Waiting to run
Details
CI / cargo clippy (push) Blocked by required conditions
Details
CI / cargo test (linux) (push) Blocked by required conditions
Details
CI / cargo test (linux, release) (push) Blocked by required conditions
Details
CI / cargo test (${{ github.repository == 'astral-sh/ruff' && 'depot-windows-2022-16' || 'windows-latest' }}) (push) Blocked by required conditions
Details
CI / cargo test (macos-latest) (push) Blocked by required conditions
Details
CI / cargo test (wasm) (push) Blocked by required conditions
Details
CI / cargo build (msrv) (push) Blocked by required conditions
Details
CI / cargo fuzz build (push) Blocked by required conditions
Details
CI / fuzz parser (push) Blocked by required conditions
Details
CI / test scripts (push) Blocked by required conditions
Details
CI / ecosystem (push) Blocked by required conditions
Details
CI / Fuzz for new ty panics (push) Blocked by required conditions
Details
CI / cargo shear (push) Blocked by required conditions
Details
CI / ty completion evaluation (push) Blocked by required conditions
Details
CI / python package (push) Waiting to run
Details
CI / pre-commit (push) Waiting to run
Details
CI / mkdocs (push) Waiting to run
Details
CI / formatter instabilities and black similarity (push) Blocked by required conditions
Details
CI / test ruff-lsp (push) Blocked by required conditions
Details
CI / check playground (push) Blocked by required conditions
Details
CI / benchmarks instrumented ty (build) (push) Blocked by required conditions
Details
CI / benchmarks instrumented ty (attrs|hydra|datetype) (push) Blocked by required conditions
Details
CI / benchmarks instrumented ty (check_file|micro|anyio) (push) Blocked by required conditions
Details
CI / benchmarks walltime (build) (push) Blocked by required conditions
Details
CI / benchmarks walltime (colour_science) (push) Blocked by required conditions
Details
CI / benchmarks walltime (pandas|tanjun|altair) (push) Blocked by required conditions
Details
CI / benchmarks walltime (pydantic|multithreaded|freqtrade) (push) Blocked by required conditions
Details
CI / benchmarks walltime (static_frame|sympy) (push) Blocked by required conditions
Details
[ty Playground] Release / publish (push) Waiting to run
Details
[ty] stabilize union-type ordering in fixed-point iteration (#22070) 
## Summary

This PR fixes https://github.com/astral-sh/ty/issues/2085.

Based on the reported code, the panicking MRE is:

```python
class Test:
    def __init__(self, x: int):
        self.left = x
        self.right = x
    def method(self):
        self.left, self.right = self.right, self.left
        if self.right:
            self.right = self.right
```

The type inference (`implicit_attribute_inner`) for `self.right`
proceeds as follows:

```
0: Divergent(Id(6c07))
1: Unknown | int | (Divergent(Id(1c00)) & ~AlwaysFalsy)
2: Unknown | int | (Divergent(Id(6c07)) & ~AlwaysFalsy) | (Divergent(Id(1c00)) & ~AlwaysFalsy)
3: Unknown | int | (Divergent(Id(1c00)) & ~AlwaysFalsy) | (Divergent(Id(6c07)) & ~AlwaysFalsy)
4: Unknown | int | (Divergent(Id(6c07)) & ~AlwaysFalsy) | (Divergent(Id(1c00)) & ~AlwaysFalsy)
...
```

The problem is that the order of union types is not stable between
cycles. To solve this, when unioning the previous union type with the
current union type, we should use the previous type as the base and add
only the new elements in this cycle (In the current implementation, this
unioning order was reversed).

## Test Plan

New corpus test
2025-12-22 16:16:03 -08: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_pr_20962.py [ty] Type inference for comprehensions (#20962) 2025-11-02 14:35:33 +01: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
classliteral_decorators_cycle.py [ty] handle recursive type inference properly (#20566) 2025-11-26 08:50:26 -08: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_comprehensions.py [ty] Fix panic due to simplifying Divergent types out of intersections types (#21253) 2025-11-03 15:41:11 +00:00
cyclic_implicit_attr_union.py [ty] stabilize union-type ordering in fixed-point iteration (#22070) 2025-12-22 16:16:03 -08:00
cyclic_pep613_typevar.py [ty] disallow explicit specialization of type variables themselves (#21938) 2025-12-12 15:49:20 -08:00
cyclic_pep695_typevars.py [ty] fix deferred name loading in PEP695 generic classes/functions (#19888) 2025-08-13 15:51:59 -07:00
cyclic_pep695_typevars_invalid_bound.py [ty] improve bad specialization results & error messages (#21840) 2025-12-11 19:21:34 -08:00
cyclic_pep695_typevars_invalid_bound2.py [ty] disallow explicit specialization of type variables themselves (#21938) 2025-12-12 15:49:20 -08:00
cyclic_pep695_typevars_invalid_constraints.py [ty] improve bad specialization results & error messages (#21840) 2025-12-11 19:21:34 -08:00
cyclic_pep695_variance.py [ty] fix panic when attempting to infer the variance of a PEP-695 class that depends on a recursive type aliases and also somehow protocols (#21778) 2025-12-03 19:01:42 +00:00
cyclic_reassignment.py [ty] handle recursive type inference properly (#20566) 2025-11-26 08:50:26 -08:00
cyclic_symbol_in_comprehension.py [ty] fix global symbol lookup from eager scopes (#21317) 2025-11-12 10:15:51 -08:00
cyclic_type_alias.py [ty] handle recursive type inference properly (#20566) 2025-11-26 08:50:26 -08: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
future_annotations_recursive_annotation.py [ty] Add test case for fixed panic (#21832) 2025-12-07 15:58:11 +00:00
inner_expression_inference_state.py [ty] do nothing with store_expression_type if inner_expression_inference_state is Get (#21718) 2025-12-04 18:05:41 -08:00
invalid_typevar_constraints.py [ty] fix panic when instantiating a type variable with invalid constraints (#21663) 2025-12-04 18:48:38 -08: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