C#: Data flow for positional patterns. - #22689

Draft

michaelnebel wants to merge 9 commits into

github:mainfrom

michaelnebel:csharp/positionalpatternflow

Commits on Sep 30, 2026

C#: Introduce a TuplePatternExpr class.
michaelnebel
committed
580b214
C#: Introduce a general local variable declaration pattern class.
michaelnebel
committed
a8bb94a
C#: Generalize pattern definition to not only include top level pattern definitions.
michaelnebel
committed
3245151
C#: Update read steps for tuples as they are now part of the PatternDefinition.
michaelnebel
committed
95c18cc
C#: Only include top level tuples pattern match flow in the localExprStep relation.
michaelnebel
committed
a5555d9
C#: Add some positional pattern data flow tests.
michaelnebel
committed
6f8e887
C#: Make positional pattern read step.
michaelnebel
committed
7314008
C#: Update test expected output.
michaelnebel
committed
e1a522e
C#: Refactor the tuple read step logic that is only relevant to patterns into the readStepPattern predicate.
michaelnebel
committed
f059beb