Dhruv Manilawala 902b0b4ce9 [ty] Add support for **kwargs (#20430) ... ## Summary This PR adds support for unpacking `**kwargs` argument. This can be matched against any standard (positional or keyword), keyword-only, or keyword variadic parameter that haven't been matched yet. This PR also takes care of special casing `TypedDict` because the key names and the corresponding value type is known, so we can be more precise in our matching and type checking step. In the future, this special casing would be extended to include `ParamSpec` as well. Part of astral-sh/ty#247 ## Test Plan Add test cases for various scenarios.		2025-09-19 05:00:30 +00:00
..
annotations	[ty] Bind Self typevar to method context (#20366)	2025-09-17 14:58:54 -04:00
assignment	[ty] Infer more precise types for collection literals (#20360)	2025-09-17 18:51:50 -04:00
binary	[ty] Remove special casing for string-literal-in-tuple __contains__ (#19642)	2025-07-31 11:28:03 +01:00
boolean	Revert "[ty] Better control flow for boolean expressions that are inside if (#18010)" (#18150)	2025-05-17 08:27:32 -04:00
boundness_declaredness	Update class literal display to use <class 'Foo'> style (#17889)	2025-05-06 20:11:25 -04:00
call	[ty] Add support for **kwargs (#20430)	2025-09-19 05:00:30 +00:00
class	[ty] Remove use of ClassBase::try_from_type from super() machinery (#19902)	2025-08-14 22:14:31 +01: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] Improve specialization-error diagnostics (#20326)	2025-09-10 14:01:23 +02:00
directives	[ty] Infer slightly more precise types for comprehensions (#20111)	2025-08-27 13:21:47 +01:00
doc	ty_python_semantic: add union type context to function call type errors	2025-05-09 13:40:51 -04:00
exception	[ty] Use separate Rust types for bound and unbound type variables (#19796)	2025-08-11 15:29:58 -04:00
expression	[ty] Proper assignability/subtyping checks for protocols with method members (#20165)	2025-09-12 10:10:31 +00:00
function	[ty] Improve disambiguation of types via fully qualified names (#20141)	2025-08-29 08:44:18 +00:00
generics	[ty] Make TypeIs invariant in its type argument (#20428)	2025-09-18 07:53:13 -07:00
ide_support	[ty] Include NamedTupleFallback members in NamedTuple instance completions (#20356)	2025-09-15 11:00:03 +02:00
import	[ty] Infer more precise types for collection literals (#20360)	2025-09-17 18:51:50 -04:00
literal	[ty] Infer more precise types for collection literals (#20360)	2025-09-17 18:51:50 -04:00
loops	[ty] Add precise iteration and unpacking inference for string literals and bytes literals (#20023)	2025-08-22 19:33:08 +01:00
narrow	[ty] Infer more precise types for collection literals (#20360)	2025-09-17 18:51:50 -04:00
regression
scopes	[ty] fix deferred name loading in PEP695 generic classes/functions (#19888)	2025-08-13 15:51:59 -07:00
shadowing
snapshots	[ty] Improve specialization-error diagnostics (#20326)	2025-09-10 14:01:23 +02:00
stubs	[ty] Do not carry the generic context of Protocol or Generic in the ClassBase enum (#17989)	2025-05-22 21:37:03 -04:00
subscript	[ty] Infer more precise types for collection literals (#20360)	2025-09-17 18:51:50 -04: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] More constraint set simplifications via simpler constraint representation (#20423)	2025-09-16 10:05:01 -04:00
type_qualifiers	[ty] Allow annotation expressions to be ast::Attribute nodes (#20413)	2025-09-15 12:06:48 +01:00
unary	Update class literal display to use <class 'Foo'> style (#17889)	2025-05-06 20:11:25 -04:00
with	[ty] Diagnostics for async context managers (#19704)	2025-08-05 07:41:37 -07: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] infer name and value for enum members (#20311)	2025-09-17 09:36:27 +02: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	[ty] Add cycle handling for unpacking targets (#18078)	2025-05-13 21:27:48 +00:00
decorators.md	ty_python_semantic: add union type context to function call type errors	2025-05-09 13:40:51 -04:00
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] "foo".startswith is not an instance of types.MethodWrapperType (#20317)	2025-09-10 11:14:26 +00:00
enums.md	[ty] infer name and value for enum members (#20311)	2025-09-17 09:36:27 +02:00
exhaustiveness_checking.md	[ty] Narrow specialized generics using isinstance() (#20256)	2025-09-04 15:28:33 -07: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	Update class literal display to use <class 'Foo'> style (#17889)	2025-05-06 20:11:25 -04:00
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] Patch Self for fallback-methods on NamedTuples and TypedDicts (#20328)	2025-09-15 16:21:53 +02:00
overloads.md	[ty] Track different uses of legacy typevars, including context when rendering typevars (#19604)	2025-08-01 12:20:32 -04:00
pep695_type_aliases.md	[ty] detect cycles in binary comparison inference (#20446)	2025-09-17 09:45:25 +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] Fix subtyping/assignability of function- and class-literal types to callback protocols (#20363)	2025-09-12 22:20:09 +01:00
public_types.md	[ty] more precise lazy scope place lookup (#19932)	2025-09-08 21:08:35 +00:00
statically_known_branches.md	[ty] Evaluate reachability of non-definitely-bound to Ambiguous (#19579)	2025-08-28 14:34:49 +02: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] Patch Self for fallback-methods on NamedTuples and TypedDicts (#20328)	2025-09-15 16:21:53 +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] improve lazy scope place lookup (#19321)	2025-07-25 07:11:11 +00:00