C#: Adjust tuple data flow to the new assignable definition.

Author: michaelnebel

csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowPrivate.qll

@@ -2475,8 +2475,8 @@ private class ReadStepConfiguration extends ControlFlowReachabilityConfiguration
       )
     or
     scope =
-      any(TupleExpr te |
-        te.getAnArgument() = defTo.(AssignableDefinitions::LocalVariableDefinition).getDeclaration() and
+      any(TuplePatternExpr te |
+        te.getAnArgument() = defTo.(AssignableDefinitions::PatternDefinition).getDeclaration() and
         e = te and
         exactScope = false and
         isSuccessor = false
@@ -2525,8 +2525,8 @@ private predicate readContentStep(Node node1, Content c, Node node2) {
       )
       or
       // item = variable in node1 = (..., variable, ...) in a case/is var (..., ...)
-      te = any(PatternExpr pe).getAChildExpr*() and
-      exists(AssignableDefinitions::LocalVariableDefinition lvd |
+      te = any(TuplePatternExpr pe).getAChildExpr*() and
+      exists(AssignableDefinitions::PatternDefinition lvd |
         node2.(AssignableDefinitionNode).getDefinition() = lvd and
         lvd.getDeclaration() = item and
         hasNodePath(x, node1, node2)