@@ -8,7 +8,6 @@ constrainedTypeParameterSubsumes
88| Unification.cs:8:10:8:11 | T2 | Unification.cs:31:12:31:23 | (string, T9) |
99| Unification.cs:8:10:8:11 | T2 | Unification.cs:32:12:32:19 | (T8, T9) |
1010| Unification.cs:8:10:8:11 | T2 | Unification.cs:53:8:53:9 | S3 |
11- | Unification.cs:8:10:8:11 | T2 | Unification.cs:54:12:54:13 | RS |
1211| Unification.cs:9:10:9:11 | T3 | Unification.cs:1:11:1:12 | I1 |
1312| Unification.cs:9:10:9:11 | T3 | Unification.cs:6:7:6:8 | C0 |
1413| Unification.cs:9:10:9:11 | T3 | Unification.cs:7:7:7:12 | C1<C0> |
@@ -103,12 +102,10 @@ constrainedTypeParameterSubsumes
103102| Unification.cs:12:25:12:27 | T6d | Unification.cs:31:12:31:23 | (string, T9) |
104103| Unification.cs:12:25:12:27 | T6d | Unification.cs:32:12:32:19 | (T8, T9) |
105104| Unification.cs:12:25:12:27 | T6d | Unification.cs:53:8:53:9 | S3 |
106- | Unification.cs:12:25:12:27 | T6d | Unification.cs:54:12:54:13 | RS |
107105| Unification.cs:24:12:24:13 | Tm | Unification.cs:8:7:8:12 | C2<S2> |
108106| Unification.cs:24:12:24:13 | Tm | Unification.cs:24:12:24:13 | Tm |
109107| Unification.cs:57:24:57:24 | T | Unification.cs:52:11:52:12 | I2 |
110108| Unification.cs:57:24:57:24 | T | Unification.cs:53:8:53:9 | S3 |
111- | Unification.cs:57:24:57:24 | T | Unification.cs:54:12:54:13 | RS |
112109| Unification.cs:57:24:57:24 | T | Unification.cs:55:7:55:8 | C7 |
113110| Unification.cs:57:24:57:24 | T | Unification.cs:57:24:57:24 | T |
114111| Unification.cs:57:24:57:24 | T | Unification.cs:58:26:58:26 | T |
@@ -129,7 +126,6 @@ constrainedTypeParameterUnifiable
129126| Unification.cs:8:10:8:11 | T2 | Unification.cs:31:12:31:23 | (string, T9) |
130127| Unification.cs:8:10:8:11 | T2 | Unification.cs:32:12:32:19 | (T8, T9) |
131128| Unification.cs:8:10:8:11 | T2 | Unification.cs:53:8:53:9 | S3 |
132- | Unification.cs:8:10:8:11 | T2 | Unification.cs:54:12:54:13 | RS |
133129| Unification.cs:9:10:9:11 | T3 | Unification.cs:1:11:1:12 | I1 |
134130| Unification.cs:9:10:9:11 | T3 | Unification.cs:6:7:6:8 | C0 |
135131| Unification.cs:9:10:9:11 | T3 | Unification.cs:7:7:7:12 | C1<C0> |
@@ -232,13 +228,11 @@ constrainedTypeParameterUnifiable
232228| Unification.cs:12:25:12:27 | T6d | Unification.cs:31:12:31:23 | (string, T9) |
233229| Unification.cs:12:25:12:27 | T6d | Unification.cs:32:12:32:19 | (T8, T9) |
234230| Unification.cs:12:25:12:27 | T6d | Unification.cs:53:8:53:9 | S3 |
235- | Unification.cs:12:25:12:27 | T6d | Unification.cs:54:12:54:13 | RS |
236231| Unification.cs:24:12:24:13 | Tm | Unification.cs:8:7:8:12 | C2<S2> |
237232| Unification.cs:24:12:24:13 | Tm | Unification.cs:8:7:8:12 | C2<T2> |
238233| Unification.cs:24:12:24:13 | Tm | Unification.cs:24:12:24:13 | Tm |
239234| Unification.cs:57:24:57:24 | T | Unification.cs:52:11:52:12 | I2 |
240235| Unification.cs:57:24:57:24 | T | Unification.cs:53:8:53:9 | S3 |
241- | Unification.cs:57:24:57:24 | T | Unification.cs:54:12:54:13 | RS |
242236| Unification.cs:57:24:57:24 | T | Unification.cs:55:7:55:8 | C7 |
243237| Unification.cs:57:24:57:24 | T | Unification.cs:57:24:57:24 | T |
244238| Unification.cs:57:24:57:24 | T | Unification.cs:58:26:58:26 | T |
0 commit comments