4 Commits

Author	SHA1	Message	Date
Ibraheem Ahmed	ff3a6a8fbd	[ty] Support type context of union attribute assignments (#21170) ... ## Summary Turns out this is easy to implement. Resolves https://github.com/astral-sh/ty/issues/1375.	2025-10-31 12:41:14 -04:00
Ibraheem Ahmed	bb40c34361	[ty] Use declared attribute types as type context (#21143) ... ## Summary For example: ```py class X: x: list[int | str] def _(x: X): x.x = [1] ``` Resolves https://github.com/astral-sh/ty/issues/1375.	2025-10-31 15:48:28 +00:00
Ibraheem Ahmed	304ac22e74	[ty] Use constructor parameter types as type context (#21054) ... ## Summary Resolves https://github.com/astral-sh/ty/issues/1408.	2025-10-24 20:14:18 +00:00
Shunsuke Shibayama	dc64c08633	[ty] bidirectional type inference using function return type annotations (#20528) ... ## Summary Implements bidirectional type inference using function return type annotations. This PR was originally proposed to solve astral-sh/ty#1167, but this does not fully resolve it on its own. Additionally, I believe we need to allow dataclasses to generate their own `__new__` methods, [use constructor return types ​​for inference](5844c0103d/crates/ty_python_semantic/src/types.rs (L5326-L5328)), and a mechanism to discard type narrowing like `& ~AlwaysFalsy` if necessary (at a more general level than this PR). ## Test Plan `mdtest/bidirectional.md` is added. --------- Co-authored-by: Alex Waygood <Alex.Waygood@Gmail.com> Co-authored-by: Ibraheem Ahmed <ibraheem@ibraheem.ca>	2025-10-11 00:38:35 +00:00