Douglas Creager a422716267 [ty] Fix flaky constraint set rendering (#20653) ... This doesn't seem to be flaky in the sense of tests failing non-deterministically, but they are flaky in the sense of unrelated changes causing testing failures from the clauses of a constraint set being rendered in different orders. This flakiness is because we're using Salsa IDs to determine the order in which typevars appear in a constraint set BDD, and those IDs are assigned non-deterministically. The fix is ham-fisted but effective: sort the constraints in each clause, and the clauses in each set, as part of the rendering process. Constraint sets are only rendered in our test cases, so we don't need to over-optimize this.		2025-10-01 09:14:35 +02:00
..
annotations	[ty] Use typing.Self for the first parameter of instance methods (#20517)	2025-09-29 21:08:08 +02:00
assignment	[ty] More precise type inference for dictionary literals (#20523)	2025-09-24 18:12:00 -04:00
binary	[ty] Remove special casing for string-literal-in-tuple __contains__ (#19642)	2025-07-31 11:28:03 +01:00
boolean
boundness_declaredness	[ty] Rename "possibly unbound" diagnostics to "possibly missing" (#20492)	2025-09-23 14:26:55 +00:00
call	[ty] Use typing.Self for the first parameter of instance methods (#20517)	2025-09-29 21:08:08 +02:00
class	[ty] Rename "possibly unbound" diagnostics to "possibly missing" (#20492)	2025-09-23 14:26:55 +00:00
comparison	[ty] detect cycles in binary comparison inference (#20446)	2025-09-17 09:45:25 +02:00
comprehensions	[ty] Async for loops and async iterables (#19634)	2025-07-30 17:40:24 +02:00
conditional	[ty] Support as-patterns in reachability analysis (#19728)	2025-08-04 20:13:50 +02:00
dataclasses	[ty] initial support for slots=True in dataclasses (#20278)	2025-09-07 18:25:35 +01:00
declaration	[ty] Format conflicting types as an enumeration (#18956)	2025-06-26 14:29:33 +02:00
diagnostics	[ty] Use fully qualified names to distinguish ambiguous protocols in diagnostics (#20627)	2025-09-29 12:02:07 +00:00
directives	[ty] Infer slightly more precise types for comprehensions (#20111)	2025-08-27 13:21:47 +01:00
doc
exception	[ty] Use separate Rust types for bound and unbound type variables (#19796)	2025-08-11 15:29:58 -04:00
expression	[ty] Rename "possibly unbound" diagnostics to "possibly missing" (#20492)	2025-09-23 14:26:55 +00:00
function	[ty] Improve disambiguation of types via fully qualified names (#20141)	2025-08-29 08:44:18 +00:00
generics	[ty] Add tests for nested generic functions (#20631)	2025-09-30 08:44:18 +02:00
ide_support	[ty] Include NamedTupleFallback members in NamedTuple instance completions (#20356)	2025-09-15 11:00:03 +02:00
import	[ty] fallback to resolve_real_module in file_to_module (#20461)	2025-09-24 21:15:35 -04:00
literal	[ty] More precise type inference for dictionary literals (#20523)	2025-09-24 18:12:00 -04:00
loops	[ty] Add more tests for subtyping/assignability between two protocol types (#20573)	2025-09-26 12:07:57 +01:00
narrow	[ty] Use typing.Self for the first parameter of instance methods (#20517)	2025-09-29 21:08:08 +02:00
regression
scopes	[ty] Rename "possibly unbound" diagnostics to "possibly missing" (#20492)	2025-09-23 14:26:55 +00:00
shadowing
snapshots	[ty] Rename "possibly unbound" diagnostics to "possibly missing" (#20492)	2025-09-23 14:26:55 +00:00
stubs
subscript	[ty] Rename "possibly unbound" diagnostics to "possibly missing" (#20492)	2025-09-23 14:26:55 +00:00
suppressions	[ty] Consistent use of American english (in rules) (#19488)	2025-07-22 16:10:38 +02:00
type_compendium	[ty] Infer more precise types for collection literals (#20360)	2025-09-17 18:51:50 -04:00
type_of	[ty] Improve the Display for generic type[] types (#19667)	2025-07-31 19:45:01 +01:00
type_properties	[ty] Fix flaky constraint set rendering (#20653)	2025-10-01 09:14:35 +02:00
type_qualifiers	[ty] Allow annotation expressions to be ast::Attribute nodes (#20413)	2025-09-15 12:06:48 +01:00
unary
with	[ty] Use typing.Self for the first parameter of instance methods (#20517)	2025-09-29 21:08:08 +02:00
.mdformat.toml
async.md	[ty] Support async/await, async with and yield from (#19595)	2025-07-30 11:51:21 +02:00
attributes.md	[ty] Rename "possibly unbound" diagnostics to "possibly missing" (#20492)	2025-09-23 14:26:55 +00:00
classes.md	[ty] don't assume that deferred type inference means deferred name resolution (#20160)	2025-08-29 16:19:45 -07:00
cycle.md
decorators.md
del.md	[ty] Infer more precise types for collection literals (#20360)	2025-09-17 18:51:50 -04:00
deprecated.md	[ty] Consistent use of American english (in rules) (#19488)	2025-07-22 16:10:38 +02:00
descriptor_protocol.md	[ty] Use typing.Self for the first parameter of instance methods (#20517)	2025-09-29 21:08:08 +02:00
enums.md	[ty] implement auto() for StrEnum (#20524)	2025-09-23 12:22:59 +02:00
exhaustiveness_checking.md	[ty] Fix subtyping for dynamic specializations (#20592)	2025-09-26 15:05:03 +02:00
final.md
implicit_type_aliases.md	[ty] no more diverging query cycles in type expressions (#20359)	2025-09-16 16:44:11 -07:00
instance_layout_conflict.md	[ty] initial support for slots=True in dataclasses (#20278)	2025-09-07 18:25:35 +01:00
intersection_types.md	[ty] Expansion of enums into unions of literals (#19382)	2025-07-21 19:37:55 +02:00
invalid_syntax.md
known_constants.md
mdtest_config.md
mdtest_custom_typeshed.md	[ty] Remove Type::Tuple (#19669)	2025-08-11 22:03:32 +01:00
metaclass.md
mro.md	[ty] Treat Hashable, and similar protocols, equivalently to object for subtyping/assignability (#20284)	2025-09-10 11:38:58 +01:00
named_tuple.md	[ty] Use typing.Self for the first parameter of instance methods (#20517)	2025-09-29 21:08:08 +02:00
overloads.md	[ty] Use C[T] instead of C[Unknown] for the upper bound of Self (#20479)	2025-09-23 14:02:25 +02:00
pep695_type_aliases.md	[ty] Use typing.Self for the first parameter of instance methods (#20517)	2025-09-29 21:08:08 +02:00
properties.md	[ty] "foo".startswith is not an instance of types.MethodWrapperType (#20317)	2025-09-10 11:14:26 +00:00
protocols.md	[ty] Literal promotion refactor (#20646)	2025-09-30 14:22:36 +02:00
public_types.md	[ty] Improve disambiguation of class names in diagnostics (#20603)	2025-09-29 11:43:11 +01:00
statically_known_branches.md	[ty] Rename "possibly unbound" diagnostics to "possibly missing" (#20492)	2025-09-23 14:26:55 +00:00
sys_platform.md
sys_version_info.md
t_strings.md	[ty] Add support for PEP 750 t-strings (#20085)	2025-08-25 18:49:49 +00:00
terminal_statements.md	[ty] improve lazy scope place lookup (#19321)	2025-07-25 07:11:11 +00:00
ty_extensions.md	[ty] Fix CallableTypeOf[…] for classmethods (#20345)	2025-09-11 10:14:38 +02:00
typed_dict.md	[ty] Use typing.Self for the first parameter of instance methods (#20517)	2025-09-29 21:08:08 +02:00
union_types.md	[ty] Simplify unions of enum literals and subtypes thereof (#20324)	2025-09-10 15:54:06 +02:00
unpacking.md	[ty] Infer more precise types for collection literals (#20360)	2025-09-17 18:51:50 -04:00
unreachable.md	[ty] Rename "possibly unbound" diagnostics to "possibly missing" (#20492)	2025-09-23 14:26:55 +00:00