Shunsuke Shibayama 11a9e7ee44 [ty] use type context more aggressively to infer values ​​when constructing a TypedDict (#20806) ...

## Summary

Based on @ibraheemdev's comment on #20792:

> I think we can also update our bidirectional inference code, [which
makes the same
assumption](https://github.com/astral-sh/ruff/blob/main/crates/ty_python_semantic/src/types/infer/builder.rs?rgh-link-date=2025-10-09T21%3A30%3A31Z#L5860).

This PR also adds more test cases for how `TypedDict` annotations affect
generic call inference.

## Test Plan

New tests in `typed_dict.md`

2025-10-10 16:51:16 -07:00

..

annotations

[ty] fix implicit Self on generic class with typevar default (#20754)

2025-10-08 01:38:24 +00:00

assignment

[ty] Annotations are deferred by default for 3.14+ (#20799)

2025-10-10 12:05:03 +02:00

binary

Update default and latest Python versions for 3.14 (#20725)

2025-10-07 12:23:11 -04:00

boolean

…

boundness_declaredness

[ty] Reformulation of public symbol inference test suite (#20667)

2025-10-01 14:26:17 +02:00

call

[ty] Simplify and fix CallableTypeOf[..] implementation (#20797)

2025-10-10 12:04:37 +02:00

class

[ty] Rename "possibly unbound" diagnostics to "possibly missing" (#20492)

2025-09-23 14:26:55 +00:00

comparison

…

comprehensions

…

conditional

…

dataclasses

[ty] Additional tests for dataclass_transform (class-level overwrites, field_specifiers) (#20788)

2025-10-10 11:22:06 +00:00

declaration

…

diagnostics

[ty] defer inference of legacy TypeVar bound/constraints/defaults (#20598)

2025-10-09 21:08:37 +00:00

directives

[ty] Use annotated parameters as type context (#20635)

2025-10-03 17:14:51 -04:00

doc

…

exception

…

expression

[ty] Rename "possibly unbound" diagnostics to "possibly missing" (#20492)

2025-09-23 14:26:55 +00:00

function

…

generics

[ty] defer inference of legacy TypeVar bound/constraints/defaults (#20598)

2025-10-09 21:08:37 +00:00

ide_support

…

import

[ty] No union with Unknown for module-global symbols (#20664)

2025-10-01 16:40:30 +02:00

literal

[ty] More precise type inference for dictionary literals (#20523)

2025-09-24 18:12:00 -04:00

loops

[ty] Improve assignability/subtyping between two protocol types (#20368)

2025-10-08 18:37:30 +00:00

narrow

[ty] No union with Unknown for module-global symbols (#20664)

2025-10-01 16:40:30 +02:00

regression

…

scopes

Update default and latest Python versions for 3.14 (#20725)

2025-10-07 12:23:11 -04:00

shadowing

…

snapshots

[ty] defer inference of legacy TypeVar bound/constraints/defaults (#20598)

2025-10-09 21:08:37 +00:00

stubs

Update default and latest Python versions for 3.14 (#20725)

2025-10-07 12:23:11 -04:00

subscript

[ty] Rename "possibly unbound" diagnostics to "possibly missing" (#20492)

2025-09-23 14:26:55 +00:00

suppressions

…

type_compendium

[ty] Type-context aware literal promotion (#20776)

2025-10-09 16:53:53 -04:00

type_of

…

type_properties

[ty] Better implementation of assignability for intersections with negated gradual elements (#20773)

2025-10-10 11:10:17 +00:00

type_qualifiers

…

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

…

attributes.md

[ty] Add tests for instance attributes in class hierarchies (#20767)

2025-10-08 17:46:47 +02:00

classes.md

…

cycle.md

…

decorators.md

…

del.md

[ty] No union with Unknown for module-global symbols (#20664)

2025-10-01 16:40:30 +02:00

deprecated.md

…

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] Enums: allow multiple aliases to point to the same member (#20669)

2025-10-01 15:51:53 +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

…

instance_layout_conflict.md

…

intersection_types.md

…

invalid_syntax.md

…

known_constants.md

…

mdtest_config.md

…

mdtest_custom_typeshed.md

…

metaclass.md

…

mro.md

…

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] Improve diagnostics for bad @overload definitions (#20745)

2025-10-07 21:52:57 +00:00

pep695_type_aliases.md

[ty] defer inference of legacy TypeVar bound/constraints/defaults (#20598)

2025-10-09 21:08:37 +00:00

properties.md

…

protocols.md

[ty] Improve assignability/subtyping between two protocol types (#20368)

2025-10-08 18:37:30 +00:00

public_types.md

[ty] Disambiguate classes that live in different modules but have the same fully qualified names (#20756)

2025-10-08 18:27:40 +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

…

terminal_statements.md

…

ty_extensions.md

[ty] Simplify and fix CallableTypeOf[..] implementation (#20797)

2025-10-10 12:04:37 +02:00

typed_dict.md

[ty] use type context more aggressively to infer values ​​when constructing a TypedDict (#20806)

2025-10-10 16:51:16 -07:00

union_types.md

[ty] Introduce TypeRelation::Redundancy (#20602)

2025-10-03 18:35:30 +01:00

unpacking.md

…

unreachable.md

[ty] Rename "possibly unbound" diagnostics to "possibly missing" (#20492)

2025-09-23 14:26:55 +00:00