@@ -143,6 +143,7 @@
 | Tuples.cs:75:13:75:30 | SSA qualifier def(y.Item2.Item2) | Tuples.cs:80:22:80:34 | access to field Item2 |
 | Tuples.cs:75:17:75:30 | (..., ...) | Tuples.cs:75:13:75:13 | access to local variable y |
 | Tuples.cs:75:18:75:18 | access to parameter s | Tuples.cs:75:25:75:25 | access to parameter s |
+| Tuples.cs:76:17:76:17 | access to local variable y | Tuples.cs:78:18:78:39 | { ... } |
 | Tuples.cs:76:17:76:17 | access to local variable y | Tuples.cs:79:22:79:22 | access to local variable y |
 | Tuples.cs:78:19:78:23 | SSA def(a) | Tuples.cs:78:46:78:46 | access to local variable a |
 | Tuples.cs:78:19:78:23 | String a | Tuples.cs:78:19:78:23 | SSA def(a) |
@@ -237,6 +238,7 @@
 | Tuples.cs:141:13:141:13 | access to local variable x | Tuples.cs:141:13:141:32 | SSA def(x) |
 | Tuples.cs:141:13:141:32 | SSA def(x) | Tuples.cs:142:17:142:17 | access to local variable x |
 | Tuples.cs:141:17:141:32 | (..., ...) | Tuples.cs:141:13:141:13 | access to local variable x |
+| Tuples.cs:142:17:142:17 | access to local variable x | Tuples.cs:144:18:144:46 | { ... } |
 | Tuples.cs:144:19:144:24 | SSA def(a1) | Tuples.cs:145:22:145:23 | access to local variable a1 |
 | Tuples.cs:144:19:144:24 | String a1 | Tuples.cs:144:19:144:24 | SSA def(a1) |
 | Tuples.cs:144:28:144:33 | Int32 b1 | Tuples.cs:144:28:144:33 | SSA def(b1) |
@@ -255,6 +257,7 @@
 | Tuples.cs:153:13:153:13 | access to local variable y | Tuples.cs:153:13:153:32 | SSA def(y) |
 | Tuples.cs:153:13:153:32 | SSA def(y) | Tuples.cs:154:13:154:13 | access to local variable y |
 | Tuples.cs:153:17:153:32 | (..., ...) | Tuples.cs:153:13:153:13 | access to local variable y |
+| Tuples.cs:154:13:154:13 | access to local variable y | Tuples.cs:154:18:154:42 | { ... } |
 | Tuples.cs:154:19:154:24 | SSA def(a2) | Tuples.cs:156:18:156:19 | access to local variable a2 |
 | Tuples.cs:154:19:154:24 | String a2 | Tuples.cs:154:19:154:24 | SSA def(a2) |
 | Tuples.cs:154:32:154:33 | Int32 b2 | Tuples.cs:154:32:154:33 | SSA def(b2) |
 
@@ -142,8 +142,8 @@ static void M7()
         switch (x)
         {
             case (var a1, (var b1, var c1), _):
-                Sink(a1);        // $ MISSING: hasValueFlow=10
-                Sink(c1);        // $ MISSING: hasValueFlow=11
+                Sink(a1);        // $ hasValueFlow=10
+                Sink(c1);        // $ hasValueFlow=11
                 Sink(b1);
                 break;
         }
@@ -153,8 +153,8 @@ static void M7()
         var y = (o3, (2, o4), 3);
         if (y is (var a2, var (b2, c2), _))
         {
-            Sink(a2);        // $ MISSING: hasValueFlow=12
-            Sink(c2);        // $ MISSING: hasValueFlow=13
+            Sink(a2);        // $ hasValueFlow=12
+            Sink(c2);        // $ hasValueFlow=13
             Sink(b2);
         }
     }
Original file line number	Diff line number	Diff line change
`@@ -142,8 +142,8 @@ static void M7()`
`142`	`142`	`switch (x)`
`143`	`143`	`{`
`144`	`144`	`case (var a1, (var b1, var c1), _):`
`145`		`- Sink(a1); // $ MISSING: hasValueFlow=10`
`146`		`- Sink(c1); // $ MISSING: hasValueFlow=11`
	`145`	`+ Sink(a1); // $ hasValueFlow=10`
	`146`	`+ Sink(c1); // $ hasValueFlow=11`
`147`	`147`	`Sink(b1);`
`148`	`148`	`break;`
`149`	`149`	`}`
`@@ -153,8 +153,8 @@ static void M7()`
`153`	`153`	`var y = (o3, (2, o4), 3);`
`154`	`154`	`if (y is (var a2, var (b2, c2), _))`
`155`	`155`	`{`
`156`		`- Sink(a2); // $ MISSING: hasValueFlow=12`
`157`		`- Sink(c2); // $ MISSING: hasValueFlow=13`
	`156`	`+ Sink(a2); // $ hasValueFlow=12`
	`157`	`+ Sink(c2); // $ hasValueFlow=13`
`158`	`158`	`Sink(b2);`
`159`	`159`	`}`
`160`	`160`	`}`