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
boolean
boundness_declaredness
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
conditional
dataclasses	[ty] initial support for slots=True in dataclasses (#20278)	2025-09-07 18:25:35 +01:00
declaration
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
exception
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
subscript	[ty] Infer more precise types for collection literals (#20360)	2025-09-17 18:51:50 -04:00
suppressions
type_compendium	[ty] Infer more precise types for collection literals (#20360)	2025-09-17 18:51:50 -04:00
type_of
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
with
.mdformat.toml
async.md
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
decorators.md
del.md	[ty] Infer more precise types for collection literals (#20360)	2025-09-17 18:51:50 -04:00
deprecated.md
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
invalid_syntax.md
known_constants.md
mdtest_config.md
mdtest_custom_typeshed.md
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] Patch Self for fallback-methods on NamedTuples and TypedDicts (#20328)	2025-09-15 16:21:53 +02:00
overloads.md
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_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