C#: Update tests and expected output.

Author: michaelnebel

csharp/ql/test/library-tests/dataflow/tuples/DataFlowStep.expected

@@ -187,6 +187,9 @@
 | Tuples.cs:103:9:103:22 | ... = ... | Tuples.cs:103:9:103:22 | SSA def(b) |
 | Tuples.cs:103:9:103:22 | SSA def(a) | Tuples.cs:104:14:104:14 | access to local variable a |
 | Tuples.cs:103:9:103:22 | SSA def(b) | Tuples.cs:105:14:105:14 | access to local variable b |
+| Tuples.cs:103:22:103:22 | [deconstruct parameter 0] access to local variable r | Tuples.cs:103:9:103:22 | ... = ... |
+| Tuples.cs:103:22:103:22 | [deconstruct parameter 1] access to local variable r | Tuples.cs:103:9:103:22 | ... = ... |
+| Tuples.cs:103:22:103:22 | [post] access to local variable r | Tuples.cs:107:17:107:17 | access to local variable r |
 | Tuples.cs:103:22:103:22 | access to local variable r | Tuples.cs:103:9:103:18 | (..., ...) |
 | Tuples.cs:103:22:103:22 | access to local variable r | Tuples.cs:107:17:107:17 | access to local variable r |
 | Tuples.cs:105:14:105:14 | access to local variable b | Tuples.cs:105:14:105:14 | (...) ... |
@@ -306,6 +309,8 @@
 | Tuples.cs:180:9:180:24 | ... = ... | Tuples.cs:180:9:180:24 | SSA def(y1) |
 | Tuples.cs:180:9:180:24 | SSA def(x1) | Tuples.cs:181:14:181:15 | access to local variable x1 |
 | Tuples.cs:180:9:180:24 | SSA def(y1) | Tuples.cs:182:14:182:15 | access to local variable y1 |
+| Tuples.cs:180:24:180:24 | [deconstruct parameter 0] access to local variable r | Tuples.cs:180:9:180:24 | ... = ... |
+| Tuples.cs:180:24:180:24 | [deconstruct parameter 1] access to local variable r | Tuples.cs:180:9:180:24 | ... = ... |
 | Tuples.cs:180:24:180:24 | access to local variable r | Tuples.cs:180:9:180:20 | (..., ...) |
 | Tuples.cs:185:12:185:13 | this | Tuples.cs:185:12:185:13 | this access |
 | Tuples.cs:185:12:185:13 | this | Tuples.cs:185:22:185:23 | this |
@@ -337,6 +342,8 @@
 | Tuples.cs:200:9:200:22 | ... = ... | Tuples.cs:200:9:200:22 | SSA def(y) |
 | Tuples.cs:200:9:200:22 | SSA def(x) | Tuples.cs:201:14:201:14 | access to local variable x |
 | Tuples.cs:200:9:200:22 | SSA def(y) | Tuples.cs:202:14:202:14 | access to local variable y |
+| Tuples.cs:200:22:200:22 | [deconstruct parameter 0] access to local variable r | Tuples.cs:200:9:200:22 | ... = ... |
+| Tuples.cs:200:22:200:22 | [deconstruct parameter 1] access to local variable r | Tuples.cs:200:9:200:22 | ... = ... |
 | Tuples.cs:200:22:200:22 | access to local variable r | Tuples.cs:200:9:200:18 | (..., ...) |
 | Tuples.cs:205:12:205:13 | this | Tuples.cs:205:12:205:13 | this access |
 | Tuples.cs:205:12:205:13 | this | Tuples.cs:205:22:205:23 | this |

csharp/ql/test/library-tests/dataflow/tuples/Tuples.cs

@@ -101,7 +101,7 @@ static void M5()
         Sink(r.i);          // $ hasValueFlow=9
 
         var (a, b) = r;
-        Sink(a);            // $ MISSING: hasValueFlow=9
+        Sink(a);            // $ hasValueFlow=9
         Sink(b);
 
         switch (r)
@@ -178,8 +178,8 @@ static void M8()
         var r = new R2(o1, o2);
         // Implicit call to the compiler-generated Deconstruct method of R2
         var (x1, y1) = r;
-        Sink(x1);             // $ MISSING: hasValueFlow=16
-        Sink(y1);             // $ MISSING: hasValueFlow=17
+        Sink(x1);             // $ hasValueFlow=16
+        Sink(y1);             // $ hasValueFlow=17
     }
 
     record R3(string X2, string Y2)
@@ -198,8 +198,8 @@ static void M9()
         var r = new R3(o1, o2);
         // Implicit call to the custom Deconstruct method of R3
         var (x, y) = r;
-        Sink(x);           // $ MISSING: hasValueFlow=19
-        Sink(y);           // $ MISSING: hasValueFlow=18
+        Sink(x);           // $ hasValueFlow=19
+        Sink(y);           // $ hasValueFlow=18
     }
 
     record R4(string X3, string Y3);
@@ -211,8 +211,8 @@ static void M10()
         var r = new R4(o1, o2);
         // Explicit call to the compiler-generated Deconstruct method of R4
         r.Deconstruct(out var x3, out var y3);
-        Sink(x3);         // $ MISSING: hasValueFlow=20
-        Sink(y3);         // $ MISSING: hasValueFlow=21
+        Sink(x3);         // $ hasValueFlow=20
+        Sink(y3);         // $ hasValueFlow=21
     }
 
     public static void Sink(object o) { }