Ibraheem Ahmed 36888198a6 [ty] Integrate type context for bidirectional inference (#20337) ...

## Summary

Adds the infrastructure necessary to perform bidirectional type
inference (https://github.com/astral-sh/ty/issues/168) without any
typing changes.

2025-09-11 15:19:12 -04:00

..

builder

Rename Red Knot (#17820)

2025-05-03 19:49:15 +02:00

use_def

[ty] more precise lazy scope place lookup (#19932)

2025-09-08 21:08:35 +00:00

ast_ids.rs

[ty] Split ScopedPlaceId into ScopedSymbolId and ScopedMemberId (#19497)

2025-07-25 13:54:33 +02:00

builder.rs

[ty] more precise lazy scope place lookup (#19932)

2025-09-08 21:08:35 +00:00

definition.rs

[ty] Implement the legacy PEP-484 convention for indicating positional-only parameters (#20248)

2025-09-05 17:56:06 +01:00

expression.rs

[ty] Track heap usage of salsa structs (#19790)

2025-08-12 13:28:44 +02:00

member.rs

[ty] Fix static assertion size check (#19814)

2025-08-07 13:38:16 -05:00

narrowing_constraints.rs

[ty] Split ScopedPlaceId into ScopedSymbolId and ScopedMemberId (#19497)

2025-07-25 13:54:33 +02:00

place.rs

Update Rust toolchain to 1.89 (#19807)

2025-08-07 18:21:50 +02:00

predicate.rs

[ty] Track heap usage of salsa structs (#19790)

2025-08-12 13:28:44 +02:00

re_exports.rs

[ty] Avoid overcounting shared memory usage (#19773)

2025-08-06 15:32:02 -04:00

reachability_constraints.rs

[ty] Integrate type context for bidirectional inference (#20337)

2025-09-11 15:19:12 -04:00

scope.rs

[ty] introduce DivergentType (#20312)

2025-09-10 08:32:26 -07:00

symbol.rs

[ty] more cases for the class body global fallback

2025-08-07 17:30:27 -07:00

use_def.rs

[ty] more precise lazy scope place lookup (#19932)

2025-09-08 21:08:35 +00:00