[ty] Infer types for names bound in sequence match patterns - #25940

Merged

charliermarsh merged 22 commits into

mainfrom

charlie/pattern-as

Jun 23, 2026

Commits on Jun 23, 2026

[ty] Infer types for names bound in match patterns
charliermarsh
committed
3279156
[ty] Preserve binding identity across OR patterns
charliermarsh
committed
ec40563
[ty] Make binding helpers associated functions
charliermarsh
committed
85194f5
[ty] Avoid retaining mutable sequence match facts
charliermarsh
committed
5d55c13
[ty] Skip bindings for impossible aliases
charliermarsh
committed
c0bd076
[ty] Keep invalid class-pattern test focused
charliermarsh
committed
9f7265a
[ty] Separate constrained pattern TypeVar analysis
charliermarsh
committed
c4046dc
[ty] Clarify successful pattern bindings
charliermarsh
committed
36dacd7
[ty] Format pattern binding mdtest
charliermarsh
committed
0e778a4
[ty] Keep unsupported OR bindings conservative
charliermarsh
committed
f928ae0
[ty] Cover pattern capture declaration scopes
charliermarsh
committed
51dfb20
[ty] Keep class pattern alias coverage focused
charliermarsh
committed
46abe33
[ty] Avoid unnecessary match fallthrough work
charliermarsh
committed
80358bb
[ty] Avoid compounding pattern fallthrough constraints
charliermarsh
committed
8116418
[ty] Cover nested captures from TypeVar bounds
charliermarsh
committed
6ea252b
[ty] Document match pattern binding helpers
charliermarsh
committed
44ad3bd
[ty] Clarify durable sequence binding types
charliermarsh
committed
30c15fe
[ty] Speed up enum match fallthrough
charliermarsh
committed
8c87411
[ty] Update match binding inlay hint snapshots
charliermarsh
committed
86ebd29
[ty] Clean up tests
charliermarsh
committed
7bf1924
[ty] Fix match subject narrowing
charliermarsh
committed
9cf3e88
[ty] Simplify sequence pattern narrowing
charliermarsh
committed
4479750

Navigation Menu

Uh oh!

[ty] Infer types for names bound in sequence match patterns - #25940

[ty] Infer types for names bound in sequence match patterns#25940
charliermarsh merged 22 commits into
mainfrom
charlie/pattern-as

Commits on Jun 23, 2026

[ty] Infer types for names bound in match patterns

[ty] Preserve binding identity across OR patterns

[ty] Make binding helpers associated functions

[ty] Avoid retaining mutable sequence match facts

[ty] Skip bindings for impossible aliases

[ty] Keep invalid class-pattern test focused

[ty] Separate constrained pattern TypeVar analysis

[ty] Clarify successful pattern bindings

[ty] Format pattern binding mdtest

[ty] Keep unsupported OR bindings conservative

[ty] Cover pattern capture declaration scopes

[ty] Keep class pattern alias coverage focused

[ty] Avoid unnecessary match fallthrough work

[ty] Avoid compounding pattern fallthrough constraints

[ty] Cover nested captures from TypeVar bounds

[ty] Document match pattern binding helpers

[ty] Clarify durable sequence binding types

[ty] Speed up enum match fallthrough

[ty] Update match binding inlay hint snapshots

[ty] Clean up tests

[ty] Fix match subject narrowing

[ty] Simplify sequence pattern narrowing