[ty] basic narrowing on attribute and subscript expressions#17643

Merged

sharkdp merged 21 commits intoastral-sh:mainfrom

mtshiba:attr-subscript-narrowing

Jun 17, 2025

Commits on May 7, 2025

Commits on Jun 9, 2025

Commits on Jun 12, 2025

Commits on Jun 13, 2025

Commits on Jun 15, 2025

Check attribute/subscript values at store time, not at load time
mtshiba
committed

Commits on Jun 16, 2025

Fix the combination of conditional & assignment based narrowing to work correctly
mtshiba
committed
Merge remote-tracking branch 'upstream/main' into attr-subscript-narrowing
mtshiba
committed
Perform default type inference even if we can obtain the type based on the assignments
mtshiba
committed

Commits on Jun 17, 2025

Merge remote-tracking branch 'origin/main' into attr-subscript-narrowing
sharkdp
committed