C#: Update test expected output.

github · Jan 3, 2025 · 20c23bb · 20c23bb
1 parent 321806b
commit 20c23bb
Show file tree

Hide file tree

Showing 4 changed files with 52 additions and 0 deletions.
diff --git a/csharp/ql/test/library-tests/dispatch/CallContext.expected b/csharp/ql/test/library-tests/dispatch/CallContext.expected
@@ -26,3 +26,5 @@ mayBenefitFromCallContext
 | ViableCallable.cs:563:18:563:22 | call to operator / |
 | ViableCallable.cs:566:26:566:30 | call to operator checked / |
 | ViableCallable.cs:572:9:572:15 | call to method M12 |
+| ViableCallable.cs:599:9:599:13 | call to method M |
+| ViableCallable.cs:605:9:605:13 | call to method M |
diff --git a/csharp/ql/test/library-tests/dispatch/CallGraph.expected b/csharp/ql/test/library-tests/dispatch/CallGraph.expected
@@ -256,3 +256,7 @@
 | ViableCallable.cs:542:10:542:15 | Run`1 | ViableCallable.cs:537:40:537:40 | checked / |
 | ViableCallable.cs:542:10:542:15 | Run`1 | ViableCallable.cs:539:17:539:19 | M11 |
 | ViableCallable.cs:542:10:542:15 | Run`1 | ViableCallable.cs:540:17:540:19 | M12 |
+| ViableCallable.cs:596:17:596:23 | Run1`1 | ViableCallable.cs:588:21:588:21 | M |
+| ViableCallable.cs:596:17:596:23 | Run1`1 | ViableCallable.cs:593:21:593:21 | M |
+| ViableCallable.cs:602:17:602:23 | Run2`1 | ViableCallable.cs:588:21:588:21 | M |
+| ViableCallable.cs:602:17:602:23 | Run2`1 | ViableCallable.cs:593:21:593:21 | M |
diff --git a/csharp/ql/test/library-tests/dispatch/GetADynamicTarget.expected b/csharp/ql/test/library-tests/dispatch/GetADynamicTarget.expected
@@ -489,3 +489,7 @@
 | ViableCallable.cs:572:9:572:15 | call to method M12 | C20.M12() |
 | ViableCallable.cs:572:9:572:15 | call to method M12 | I3<T>.M12() |
 | ViableCallable.cs:575:9:575:15 | call to method M13 | I3<T>.M13() |
+| ViableCallable.cs:599:9:599:13 | call to method M | C21+A1.M() |
+| ViableCallable.cs:599:9:599:13 | call to method M | C21+A2.M() |
+| ViableCallable.cs:605:9:605:13 | call to method M | C21+A1.M() |
+| ViableCallable.cs:605:9:605:13 | call to method M | C21+A2.M() |
diff --git a/csharp/ql/test/library-tests/unification/Unification.expected b/csharp/ql/test/library-tests/unification/Unification.expected
@@ -7,6 +7,8 @@ constrainedTypeParameterSubsumes
 | Unification.cs:8:10:8:11 | T2 | Unification.cs:30:12:30:24 | (string, int) |
 | Unification.cs:8:10:8:11 | T2 | Unification.cs:31:12:31:23 | (string, T9) |
 | Unification.cs:8:10:8:11 | T2 | Unification.cs:32:12:32:19 | (T8, T9) |
+| Unification.cs:8:10:8:11 | T2 | Unification.cs:53:8:53:9 | S3 |
+| Unification.cs:8:10:8:11 | T2 | Unification.cs:54:12:54:13 | RS |
 | Unification.cs:9:10:9:11 | T3 | Unification.cs:1:11:1:12 | I1 |
 | Unification.cs:9:10:9:11 | T3 | Unification.cs:6:7:6:8 | C0 |
 | Unification.cs:9:10:9:11 | T3 | Unification.cs:7:7:7:12 | C1<C0> |
@@ -57,6 +59,10 @@ constrainedTypeParameterSubsumes
 | Unification.cs:9:10:9:11 | T3 | Unification.cs:41:22:41:33 | Nested<System.String>+NestedB+NestedC<T12> |
 | Unification.cs:9:10:9:11 | T3 | Unification.cs:41:22:41:33 | Nested<System.String>+NestedB+NestedC<decimal> |
 | Unification.cs:9:10:9:11 | T3 | Unification.cs:41:22:41:33 | Nested`1+NestedB+NestedC<T12> |
+| Unification.cs:9:10:9:11 | T3 | Unification.cs:52:11:52:12 | I2 |
+| Unification.cs:9:10:9:11 | T3 | Unification.cs:55:7:55:8 | C7 |
+| Unification.cs:9:10:9:11 | T3 | Unification.cs:57:7:57:25 | NormalConstraint<T> |
+| Unification.cs:9:10:9:11 | T3 | Unification.cs:58:7:58:27 | NegativeConstraint<T> |
 | Unification.cs:10:10:10:11 | T4 | Unification.cs:7:7:7:12 | C1<C0> |
 | Unification.cs:10:10:10:11 | T4 | Unification.cs:10:10:10:11 | T4 |
 | Unification.cs:11:10:11:11 | T5 | Unification.cs:8:7:8:12 | C2<S1> |
@@ -96,8 +102,22 @@ constrainedTypeParameterSubsumes
 | Unification.cs:12:25:12:27 | T6d | Unification.cs:30:12:30:24 | (string, int) |
 | Unification.cs:12:25:12:27 | T6d | Unification.cs:31:12:31:23 | (string, T9) |
 | Unification.cs:12:25:12:27 | T6d | Unification.cs:32:12:32:19 | (T8, T9) |
+| Unification.cs:12:25:12:27 | T6d | Unification.cs:53:8:53:9 | S3 |
+| Unification.cs:12:25:12:27 | T6d | Unification.cs:54:12:54:13 | RS |
 | Unification.cs:24:12:24:13 | Tm | Unification.cs:8:7:8:12 | C2<S2> |
 | Unification.cs:24:12:24:13 | Tm | Unification.cs:24:12:24:13 | Tm |
+| Unification.cs:57:24:57:24 | T | Unification.cs:52:11:52:12 | I2 |
+| Unification.cs:57:24:57:24 | T | Unification.cs:53:8:53:9 | S3 |
+| Unification.cs:57:24:57:24 | T | Unification.cs:54:12:54:13 | RS |
+| Unification.cs:57:24:57:24 | T | Unification.cs:55:7:55:8 | C7 |
+| Unification.cs:57:24:57:24 | T | Unification.cs:57:24:57:24 | T |
+| Unification.cs:57:24:57:24 | T | Unification.cs:58:26:58:26 | T |
+| Unification.cs:58:26:58:26 | T | Unification.cs:52:11:52:12 | I2 |
+| Unification.cs:58:26:58:26 | T | Unification.cs:53:8:53:9 | S3 |
+| Unification.cs:58:26:58:26 | T | Unification.cs:54:12:54:13 | RS |
+| Unification.cs:58:26:58:26 | T | Unification.cs:55:7:55:8 | C7 |
+| Unification.cs:58:26:58:26 | T | Unification.cs:57:24:57:24 | T |
+| Unification.cs:58:26:58:26 | T | Unification.cs:58:26:58:26 | T |
 constrainedTypeParameterSubsumptionImpliesUnification
 constrainedTypeParameterUnifiable
 | Unification.cs:8:10:8:11 | T2 | Unification.cs:3:8:3:9 | S1 |
@@ -108,6 +128,8 @@ constrainedTypeParameterUnifiable
 | Unification.cs:8:10:8:11 | T2 | Unification.cs:30:12:30:24 | (string, int) |
 | Unification.cs:8:10:8:11 | T2 | Unification.cs:31:12:31:23 | (string, T9) |
 | Unification.cs:8:10:8:11 | T2 | Unification.cs:32:12:32:19 | (T8, T9) |
+| Unification.cs:8:10:8:11 | T2 | Unification.cs:53:8:53:9 | S3 |
+| Unification.cs:8:10:8:11 | T2 | Unification.cs:54:12:54:13 | RS |
 | Unification.cs:9:10:9:11 | T3 | Unification.cs:1:11:1:12 | I1 |
 | Unification.cs:9:10:9:11 | T3 | Unification.cs:6:7:6:8 | C0 |
 | Unification.cs:9:10:9:11 | T3 | Unification.cs:7:7:7:12 | C1<C0> |
@@ -158,6 +180,10 @@ constrainedTypeParameterUnifiable
 | Unification.cs:9:10:9:11 | T3 | Unification.cs:41:22:41:33 | Nested<System.String>+NestedB+NestedC<T12> |
 | Unification.cs:9:10:9:11 | T3 | Unification.cs:41:22:41:33 | Nested<System.String>+NestedB+NestedC<decimal> |
 | Unification.cs:9:10:9:11 | T3 | Unification.cs:41:22:41:33 | Nested`1+NestedB+NestedC<T12> |
+| Unification.cs:9:10:9:11 | T3 | Unification.cs:52:11:52:12 | I2 |
+| Unification.cs:9:10:9:11 | T3 | Unification.cs:55:7:55:8 | C7 |
+| Unification.cs:9:10:9:11 | T3 | Unification.cs:57:7:57:25 | NormalConstraint<T> |
+| Unification.cs:9:10:9:11 | T3 | Unification.cs:58:7:58:27 | NegativeConstraint<T> |
 | Unification.cs:10:10:10:11 | T4 | Unification.cs:7:7:7:12 | C1<C0> |
 | Unification.cs:10:10:10:11 | T4 | Unification.cs:7:7:7:12 | C1<T1> |
 | Unification.cs:10:10:10:11 | T4 | Unification.cs:7:7:7:12 | C1<T2> |
@@ -205,9 +231,23 @@ constrainedTypeParameterUnifiable
 | Unification.cs:12:25:12:27 | T6d | Unification.cs:30:12:30:24 | (string, int) |
 | Unification.cs:12:25:12:27 | T6d | Unification.cs:31:12:31:23 | (string, T9) |
 | Unification.cs:12:25:12:27 | T6d | Unification.cs:32:12:32:19 | (T8, T9) |
+| Unification.cs:12:25:12:27 | T6d | Unification.cs:53:8:53:9 | S3 |
+| Unification.cs:12:25:12:27 | T6d | Unification.cs:54:12:54:13 | RS |
 | Unification.cs:24:12:24:13 | Tm | Unification.cs:8:7:8:12 | C2<S2> |
 | Unification.cs:24:12:24:13 | Tm | Unification.cs:8:7:8:12 | C2<T2> |
 | Unification.cs:24:12:24:13 | Tm | Unification.cs:24:12:24:13 | Tm |
+| Unification.cs:57:24:57:24 | T | Unification.cs:52:11:52:12 | I2 |
+| Unification.cs:57:24:57:24 | T | Unification.cs:53:8:53:9 | S3 |
+| Unification.cs:57:24:57:24 | T | Unification.cs:54:12:54:13 | RS |
+| Unification.cs:57:24:57:24 | T | Unification.cs:55:7:55:8 | C7 |
+| Unification.cs:57:24:57:24 | T | Unification.cs:57:24:57:24 | T |
+| Unification.cs:57:24:57:24 | T | Unification.cs:58:26:58:26 | T |
+| Unification.cs:58:26:58:26 | T | Unification.cs:52:11:52:12 | I2 |
+| Unification.cs:58:26:58:26 | T | Unification.cs:53:8:53:9 | S3 |
+| Unification.cs:58:26:58:26 | T | Unification.cs:54:12:54:13 | RS |
+| Unification.cs:58:26:58:26 | T | Unification.cs:55:7:55:8 | C7 |
+| Unification.cs:58:26:58:26 | T | Unification.cs:57:24:57:24 | T |
+| Unification.cs:58:26:58:26 | T | Unification.cs:58:26:58:26 | T |
 subsumes
 | Unification.cs:7:7:7:12 | C1<C0> | Unification.cs:7:7:7:12 | C1<C0> |
 | Unification.cs:7:7:7:12 | C1<S1> | Unification.cs:7:7:7:12 | C1<S1> |
@@ -312,6 +352,8 @@ subsumes
 | Unification.cs:41:22:41:33 | Nested`1+NestedB+NestedC<T12> | Unification.cs:41:22:41:33 | Nested<System.String>+NestedB+NestedC<T12> |
 | Unification.cs:41:22:41:33 | Nested`1+NestedB+NestedC<T12> | Unification.cs:41:22:41:33 | Nested<System.String>+NestedB+NestedC<decimal> |
 | Unification.cs:41:22:41:33 | Nested`1+NestedB+NestedC<T12> | Unification.cs:41:22:41:33 | Nested`1+NestedB+NestedC<T12> |
+| Unification.cs:57:7:57:25 | NormalConstraint<T> | Unification.cs:57:7:57:25 | NormalConstraint<T> |
+| Unification.cs:58:7:58:27 | NegativeConstraint<T> | Unification.cs:58:7:58:27 | NegativeConstraint<T> |
 subsumptionImpliesUnification
 unifiable
 | Unification.cs:7:7:7:12 | C1<C0> | Unification.cs:7:7:7:12 | C1<T1> |