Skip to content

Commit e9ef752

Browse files
AndaristAndarist
committed
add test
1 parent 63a090d commit e9ef752

4 files changed

Lines changed: 139 additions & 97 deletions

File tree

‎tests/baselines/reference/variadicTuples4.errors.txt‎

Lines changed: 13 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -18,17 +18,17 @@ variadicTuples4.ts(114,19): error TS2344: Type '[...A, ...B, ...C]' does not sat
1818
Type at position 2 in source is not compatible with type at position 1 in target.
1919
Type 'C' is not assignable to type 'B'.
2020
'C' is assignable to the constraint of type 'B', but 'B' could be instantiated with a different subtype of constraint 'unknown[]'.
21-
variadicTuples4.ts(133,5): error TS2344: Type '[...A, ...B]' does not satisfy the constraint '[...A, boolean, ...B]'.
21+
variadicTuples4.ts(139,5): error TS2344: Type '[...A, ...B]' does not satisfy the constraint '[...A, boolean, ...B]'.
2222
Source has 2 element(s) but target requires 3.
23-
variadicTuples4.ts(139,5): error TS2344: Type '[...A, boolean, boolean, ...B]' does not satisfy the constraint '[...A, boolean, ...B]'.
23+
variadicTuples4.ts(145,5): error TS2344: Type '[...A, boolean, boolean, ...B]' does not satisfy the constraint '[...A, boolean, ...B]'.
2424
Target allows only 3 element(s) but source may have more.
25-
variadicTuples4.ts(148,49): error TS2344: Type '[boolean, ...T]' does not satisfy the constraint '[boolean, ...T, boolean]'.
25+
variadicTuples4.ts(154,49): error TS2344: Type '[boolean, ...T]' does not satisfy the constraint '[boolean, ...T, boolean]'.
2626
Source has 2 element(s) but target requires 3.
27-
variadicTuples4.ts(150,49): error TS2344: Type '[...T, boolean]' does not satisfy the constraint '[boolean, ...T, boolean]'.
27+
variadicTuples4.ts(156,49): error TS2344: Type '[...T, boolean]' does not satisfy the constraint '[boolean, ...T, boolean]'.
2828
Source has 2 element(s) but target requires 3.
29-
variadicTuples4.ts(154,5): error TS2344: Type '[boolean, ...T, boolean, boolean]' does not satisfy the constraint '[boolean, ...T, boolean]'.
29+
variadicTuples4.ts(160,5): error TS2344: Type '[boolean, ...T, boolean, boolean]' does not satisfy the constraint '[boolean, ...T, boolean]'.
3030
Target allows only 3 element(s) but source may have more.
31-
variadicTuples4.ts(180,5): error TS2344: Type '[boolean, ...A, ...B, (number | undefined)?]' does not satisfy the constraint '[boolean, ...A, string, ...B, (number | undefined)?]'.
31+
variadicTuples4.ts(186,5): error TS2344: Type '[boolean, ...A, ...B, (number | undefined)?]' does not satisfy the constraint '[boolean, ...A, string, ...B, (number | undefined)?]'.
3232
Variadic element at position 2 in source does not match element at position 2 in target.
3333

3434

@@ -92,7 +92,7 @@ variadicTuples4.ts(180,5): error TS2344: Type '[boolean, ...A, ...B, (number | u
9292
type Wrapper<A extends unknown[], B extends unknown[]> = Inner<
9393
A,
9494
B,
95-
[...A, boolean, ...B, boolean] // ok
95+
[...A, boolean, ...B, boolean]
9696
>;
9797
}
9898

@@ -176,6 +176,12 @@ variadicTuples4.ts(180,5): error TS2344: Type '[boolean, ...A, ...B, (number | u
176176
!!! error TS2344: Type at position 2 in source is not compatible with type at position 1 in target.
177177
!!! error TS2344: Type 'C' is not assignable to type 'B'.
178178
!!! error TS2344: 'C' is assignable to the constraint of type 'B', but 'B' could be instantiated with a different subtype of constraint 'unknown[]'.
179+
180+
type Wrapper4<
181+
A extends unknown[],
182+
B extends unknown[],
183+
C extends B,
184+
> = Inner<A, B, [...A, ...B, ...C]>;
179185
}
180186

181187
{

‎tests/baselines/reference/variadicTuples4.symbols‎

Lines changed: 109 additions & 88 deletions
Original file line numberDiff line numberDiff line change
@@ -130,7 +130,7 @@
130130
B,
131131
>B : Symbol(B, Decl(variadicTuples4.ts, 44, 35))
132132

133-
[...A, boolean, ...B, boolean] // ok
133+
[...A, boolean, ...B, boolean]
134134
>A : Symbol(A, Decl(variadicTuples4.ts, 44, 15))
135135
>B : Symbol(B, Decl(variadicTuples4.ts, 44, 35))
136136

@@ -327,193 +327,214 @@
327327
>A : Symbol(A, Decl(variadicTuples4.ts, 109, 16))
328328
>B : Symbol(B, Decl(variadicTuples4.ts, 110, 24))
329329
>C : Symbol(C, Decl(variadicTuples4.ts, 111, 24))
330+
331+
type Wrapper4<
332+
>Wrapper4 : Symbol(Wrapper4, Decl(variadicTuples4.ts, 113, 38))
333+
334+
A extends unknown[],
335+
>A : Symbol(A, Decl(variadicTuples4.ts, 115, 16))
336+
337+
B extends unknown[],
338+
>B : Symbol(B, Decl(variadicTuples4.ts, 116, 24))
339+
340+
C extends B,
341+
>C : Symbol(C, Decl(variadicTuples4.ts, 117, 24))
342+
>B : Symbol(B, Decl(variadicTuples4.ts, 116, 24))
343+
344+
> = Inner<A, B, [...A, ...B, ...C]>;
345+
>Inner : Symbol(Inner, Decl(variadicTuples4.ts, 94, 1))
346+
>A : Symbol(A, Decl(variadicTuples4.ts, 115, 16))
347+
>B : Symbol(B, Decl(variadicTuples4.ts, 116, 24))
348+
>A : Symbol(A, Decl(variadicTuples4.ts, 115, 16))
349+
>B : Symbol(B, Decl(variadicTuples4.ts, 116, 24))
350+
>C : Symbol(C, Decl(variadicTuples4.ts, 117, 24))
330351
}
331352

332353
{
333354
type Inner<
334-
>Inner : Symbol(Inner, Decl(variadicTuples4.ts, 116, 1))
355+
>Inner : Symbol(Inner, Decl(variadicTuples4.ts, 122, 1))
335356

336357
A extends unknown[],
337-
>A : Symbol(A, Decl(variadicTuples4.ts, 117, 13))
358+
>A : Symbol(A, Decl(variadicTuples4.ts, 123, 13))
338359

339360
B extends unknown[],
340-
>B : Symbol(B, Decl(variadicTuples4.ts, 118, 24))
361+
>B : Symbol(B, Decl(variadicTuples4.ts, 124, 24))
341362

342363
C extends [...A, boolean, ...B],
343-
>C : Symbol(C, Decl(variadicTuples4.ts, 119, 24))
344-
>A : Symbol(A, Decl(variadicTuples4.ts, 117, 13))
345-
>B : Symbol(B, Decl(variadicTuples4.ts, 118, 24))
364+
>C : Symbol(C, Decl(variadicTuples4.ts, 125, 24))
365+
>A : Symbol(A, Decl(variadicTuples4.ts, 123, 13))
366+
>B : Symbol(B, Decl(variadicTuples4.ts, 124, 24))
346367

347368
> = C;
348-
>C : Symbol(C, Decl(variadicTuples4.ts, 119, 24))
369+
>C : Symbol(C, Decl(variadicTuples4.ts, 125, 24))
349370

350371
type Wrapper1<A extends unknown[], B extends unknown[]> = Inner<
351-
>Wrapper1 : Symbol(Wrapper1, Decl(variadicTuples4.ts, 121, 8))
352-
>A : Symbol(A, Decl(variadicTuples4.ts, 123, 16))
353-
>B : Symbol(B, Decl(variadicTuples4.ts, 123, 36))
354-
>Inner : Symbol(Inner, Decl(variadicTuples4.ts, 116, 1))
372+
>Wrapper1 : Symbol(Wrapper1, Decl(variadicTuples4.ts, 127, 8))
373+
>A : Symbol(A, Decl(variadicTuples4.ts, 129, 16))
374+
>B : Symbol(B, Decl(variadicTuples4.ts, 129, 36))
375+
>Inner : Symbol(Inner, Decl(variadicTuples4.ts, 122, 1))
355376

356377
A,
357-
>A : Symbol(A, Decl(variadicTuples4.ts, 123, 16))
378+
>A : Symbol(A, Decl(variadicTuples4.ts, 129, 16))
358379

359380
B,
360-
>B : Symbol(B, Decl(variadicTuples4.ts, 123, 36))
381+
>B : Symbol(B, Decl(variadicTuples4.ts, 129, 36))
361382

362383
[...A, boolean, ...B]
363-
>A : Symbol(A, Decl(variadicTuples4.ts, 123, 16))
364-
>B : Symbol(B, Decl(variadicTuples4.ts, 123, 36))
384+
>A : Symbol(A, Decl(variadicTuples4.ts, 129, 16))
385+
>B : Symbol(B, Decl(variadicTuples4.ts, 129, 36))
365386

366387
>;
367388

368389
type Wrapper2<A extends unknown[], B extends unknown[]> = Inner<
369-
>Wrapper2 : Symbol(Wrapper2, Decl(variadicTuples4.ts, 127, 4))
370-
>A : Symbol(A, Decl(variadicTuples4.ts, 129, 16))
371-
>B : Symbol(B, Decl(variadicTuples4.ts, 129, 36))
372-
>Inner : Symbol(Inner, Decl(variadicTuples4.ts, 116, 1))
390+
>Wrapper2 : Symbol(Wrapper2, Decl(variadicTuples4.ts, 133, 4))
391+
>A : Symbol(A, Decl(variadicTuples4.ts, 135, 16))
392+
>B : Symbol(B, Decl(variadicTuples4.ts, 135, 36))
393+
>Inner : Symbol(Inner, Decl(variadicTuples4.ts, 122, 1))
373394

374395
A,
375-
>A : Symbol(A, Decl(variadicTuples4.ts, 129, 16))
396+
>A : Symbol(A, Decl(variadicTuples4.ts, 135, 16))
376397

377398
B,
378-
>B : Symbol(B, Decl(variadicTuples4.ts, 129, 36))
399+
>B : Symbol(B, Decl(variadicTuples4.ts, 135, 36))
379400

380401
[...A, ...B]
381-
>A : Symbol(A, Decl(variadicTuples4.ts, 129, 16))
382-
>B : Symbol(B, Decl(variadicTuples4.ts, 129, 36))
402+
>A : Symbol(A, Decl(variadicTuples4.ts, 135, 16))
403+
>B : Symbol(B, Decl(variadicTuples4.ts, 135, 36))
383404

384405
>;
385406

386407
type Wrapper3<A extends unknown[], B extends unknown[]> = Inner<
387-
>Wrapper3 : Symbol(Wrapper3, Decl(variadicTuples4.ts, 133, 4))
388-
>A : Symbol(A, Decl(variadicTuples4.ts, 135, 16))
389-
>B : Symbol(B, Decl(variadicTuples4.ts, 135, 36))
390-
>Inner : Symbol(Inner, Decl(variadicTuples4.ts, 116, 1))
408+
>Wrapper3 : Symbol(Wrapper3, Decl(variadicTuples4.ts, 139, 4))
409+
>A : Symbol(A, Decl(variadicTuples4.ts, 141, 16))
410+
>B : Symbol(B, Decl(variadicTuples4.ts, 141, 36))
411+
>Inner : Symbol(Inner, Decl(variadicTuples4.ts, 122, 1))
391412

392413
A,
393-
>A : Symbol(A, Decl(variadicTuples4.ts, 135, 16))
414+
>A : Symbol(A, Decl(variadicTuples4.ts, 141, 16))
394415

395416
B,
396-
>B : Symbol(B, Decl(variadicTuples4.ts, 135, 36))
417+
>B : Symbol(B, Decl(variadicTuples4.ts, 141, 36))
397418

398419
[...A, boolean, boolean, ...B]
399-
>A : Symbol(A, Decl(variadicTuples4.ts, 135, 16))
400-
>B : Symbol(B, Decl(variadicTuples4.ts, 135, 36))
420+
>A : Symbol(A, Decl(variadicTuples4.ts, 141, 16))
421+
>B : Symbol(B, Decl(variadicTuples4.ts, 141, 36))
401422

402423
>;
403424
}
404425

405426
{
406427
type Inner<T extends unknown[], U extends [boolean, ...T, boolean]> = U;
407-
>Inner : Symbol(Inner, Decl(variadicTuples4.ts, 142, 1))
408-
>T : Symbol(T, Decl(variadicTuples4.ts, 143, 13))
409-
>U : Symbol(U, Decl(variadicTuples4.ts, 143, 33))
410-
>T : Symbol(T, Decl(variadicTuples4.ts, 143, 13))
411-
>U : Symbol(U, Decl(variadicTuples4.ts, 143, 33))
428+
>Inner : Symbol(Inner, Decl(variadicTuples4.ts, 148, 1))
429+
>T : Symbol(T, Decl(variadicTuples4.ts, 149, 13))
430+
>U : Symbol(U, Decl(variadicTuples4.ts, 149, 33))
431+
>T : Symbol(T, Decl(variadicTuples4.ts, 149, 13))
432+
>U : Symbol(U, Decl(variadicTuples4.ts, 149, 33))
412433

413434
type Wrapper1<T extends unknown[]> = Inner<T, [boolean, ...T, boolean]>;
414-
>Wrapper1 : Symbol(Wrapper1, Decl(variadicTuples4.ts, 143, 74))
415-
>T : Symbol(T, Decl(variadicTuples4.ts, 145, 16))
416-
>Inner : Symbol(Inner, Decl(variadicTuples4.ts, 142, 1))
417-
>T : Symbol(T, Decl(variadicTuples4.ts, 145, 16))
418-
>T : Symbol(T, Decl(variadicTuples4.ts, 145, 16))
435+
>Wrapper1 : Symbol(Wrapper1, Decl(variadicTuples4.ts, 149, 74))
436+
>T : Symbol(T, Decl(variadicTuples4.ts, 151, 16))
437+
>Inner : Symbol(Inner, Decl(variadicTuples4.ts, 148, 1))
438+
>T : Symbol(T, Decl(variadicTuples4.ts, 151, 16))
439+
>T : Symbol(T, Decl(variadicTuples4.ts, 151, 16))
419440

420441
type Wrapper2<T extends unknown[]> = Inner<T, [boolean, ...T]>;
421-
>Wrapper2 : Symbol(Wrapper2, Decl(variadicTuples4.ts, 145, 74))
422-
>T : Symbol(T, Decl(variadicTuples4.ts, 147, 16))
423-
>Inner : Symbol(Inner, Decl(variadicTuples4.ts, 142, 1))
424-
>T : Symbol(T, Decl(variadicTuples4.ts, 147, 16))
425-
>T : Symbol(T, Decl(variadicTuples4.ts, 147, 16))
442+
>Wrapper2 : Symbol(Wrapper2, Decl(variadicTuples4.ts, 151, 74))
443+
>T : Symbol(T, Decl(variadicTuples4.ts, 153, 16))
444+
>Inner : Symbol(Inner, Decl(variadicTuples4.ts, 148, 1))
445+
>T : Symbol(T, Decl(variadicTuples4.ts, 153, 16))
446+
>T : Symbol(T, Decl(variadicTuples4.ts, 153, 16))
426447

427448
type Wrapper3<T extends unknown[]> = Inner<T, [...T, boolean]>;
428-
>Wrapper3 : Symbol(Wrapper3, Decl(variadicTuples4.ts, 147, 65))
429-
>T : Symbol(T, Decl(variadicTuples4.ts, 149, 16))
430-
>Inner : Symbol(Inner, Decl(variadicTuples4.ts, 142, 1))
431-
>T : Symbol(T, Decl(variadicTuples4.ts, 149, 16))
432-
>T : Symbol(T, Decl(variadicTuples4.ts, 149, 16))
449+
>Wrapper3 : Symbol(Wrapper3, Decl(variadicTuples4.ts, 153, 65))
450+
>T : Symbol(T, Decl(variadicTuples4.ts, 155, 16))
451+
>Inner : Symbol(Inner, Decl(variadicTuples4.ts, 148, 1))
452+
>T : Symbol(T, Decl(variadicTuples4.ts, 155, 16))
453+
>T : Symbol(T, Decl(variadicTuples4.ts, 155, 16))
433454

434455
type Wrapper4<T extends unknown[]> = Inner<
435-
>Wrapper4 : Symbol(Wrapper4, Decl(variadicTuples4.ts, 149, 65))
436-
>T : Symbol(T, Decl(variadicTuples4.ts, 151, 16))
437-
>Inner : Symbol(Inner, Decl(variadicTuples4.ts, 142, 1))
456+
>Wrapper4 : Symbol(Wrapper4, Decl(variadicTuples4.ts, 155, 65))
457+
>T : Symbol(T, Decl(variadicTuples4.ts, 157, 16))
458+
>Inner : Symbol(Inner, Decl(variadicTuples4.ts, 148, 1))
438459

439460
T,
440-
>T : Symbol(T, Decl(variadicTuples4.ts, 151, 16))
461+
>T : Symbol(T, Decl(variadicTuples4.ts, 157, 16))
441462

442463
[boolean, ...T, boolean, boolean]
443-
>T : Symbol(T, Decl(variadicTuples4.ts, 151, 16))
464+
>T : Symbol(T, Decl(variadicTuples4.ts, 157, 16))
444465

445466
>;
446467
}
447468

448469
{
449470
type Inner<
450-
>Inner : Symbol(Inner, Decl(variadicTuples4.ts, 157, 1))
471+
>Inner : Symbol(Inner, Decl(variadicTuples4.ts, 163, 1))
451472

452473
A extends unknown[],
453-
>A : Symbol(A, Decl(variadicTuples4.ts, 158, 13))
474+
>A : Symbol(A, Decl(variadicTuples4.ts, 164, 13))
454475

455476
B extends unknown[],
456-
>B : Symbol(B, Decl(variadicTuples4.ts, 159, 24))
477+
>B : Symbol(B, Decl(variadicTuples4.ts, 165, 24))
457478

458479
C extends [boolean, ...A, string, ...B, number?],
459-
>C : Symbol(C, Decl(variadicTuples4.ts, 160, 24))
460-
>A : Symbol(A, Decl(variadicTuples4.ts, 158, 13))
461-
>B : Symbol(B, Decl(variadicTuples4.ts, 159, 24))
480+
>C : Symbol(C, Decl(variadicTuples4.ts, 166, 24))
481+
>A : Symbol(A, Decl(variadicTuples4.ts, 164, 13))
482+
>B : Symbol(B, Decl(variadicTuples4.ts, 165, 24))
462483

463484
> = C;
464-
>C : Symbol(C, Decl(variadicTuples4.ts, 160, 24))
485+
>C : Symbol(C, Decl(variadicTuples4.ts, 166, 24))
465486

466487
type Wrapper1<A extends unknown[], B extends unknown[]> = Inner<
467-
>Wrapper1 : Symbol(Wrapper1, Decl(variadicTuples4.ts, 162, 8))
468-
>A : Symbol(A, Decl(variadicTuples4.ts, 164, 16))
469-
>B : Symbol(B, Decl(variadicTuples4.ts, 164, 36))
470-
>Inner : Symbol(Inner, Decl(variadicTuples4.ts, 157, 1))
488+
>Wrapper1 : Symbol(Wrapper1, Decl(variadicTuples4.ts, 168, 8))
489+
>A : Symbol(A, Decl(variadicTuples4.ts, 170, 16))
490+
>B : Symbol(B, Decl(variadicTuples4.ts, 170, 36))
491+
>Inner : Symbol(Inner, Decl(variadicTuples4.ts, 163, 1))
471492

472493
A,
473-
>A : Symbol(A, Decl(variadicTuples4.ts, 164, 16))
494+
>A : Symbol(A, Decl(variadicTuples4.ts, 170, 16))
474495

475496
B,
476-
>B : Symbol(B, Decl(variadicTuples4.ts, 164, 36))
497+
>B : Symbol(B, Decl(variadicTuples4.ts, 170, 36))
477498

478499
[boolean, ...A, string, ...B, number?]
479-
>A : Symbol(A, Decl(variadicTuples4.ts, 164, 16))
480-
>B : Symbol(B, Decl(variadicTuples4.ts, 164, 36))
500+
>A : Symbol(A, Decl(variadicTuples4.ts, 170, 16))
501+
>B : Symbol(B, Decl(variadicTuples4.ts, 170, 36))
481502

482503
>;
483504

484505
type Wrapper2<A extends unknown[], B extends unknown[]> = Inner<
485-
>Wrapper2 : Symbol(Wrapper2, Decl(variadicTuples4.ts, 168, 4))
486-
>A : Symbol(A, Decl(variadicTuples4.ts, 170, 16))
487-
>B : Symbol(B, Decl(variadicTuples4.ts, 170, 36))
488-
>Inner : Symbol(Inner, Decl(variadicTuples4.ts, 157, 1))
506+
>Wrapper2 : Symbol(Wrapper2, Decl(variadicTuples4.ts, 174, 4))
507+
>A : Symbol(A, Decl(variadicTuples4.ts, 176, 16))
508+
>B : Symbol(B, Decl(variadicTuples4.ts, 176, 36))
509+
>Inner : Symbol(Inner, Decl(variadicTuples4.ts, 163, 1))
489510

490511
A,
491-
>A : Symbol(A, Decl(variadicTuples4.ts, 170, 16))
512+
>A : Symbol(A, Decl(variadicTuples4.ts, 176, 16))
492513

493514
B,
494-
>B : Symbol(B, Decl(variadicTuples4.ts, 170, 36))
515+
>B : Symbol(B, Decl(variadicTuples4.ts, 176, 36))
495516

496517
[boolean, ...A, string, ...B]
497-
>A : Symbol(A, Decl(variadicTuples4.ts, 170, 16))
498-
>B : Symbol(B, Decl(variadicTuples4.ts, 170, 36))
518+
>A : Symbol(A, Decl(variadicTuples4.ts, 176, 16))
519+
>B : Symbol(B, Decl(variadicTuples4.ts, 176, 36))
499520

500521
>;
501522

502523
type Wrapper3<A extends unknown[], B extends unknown[]> = Inner<
503-
>Wrapper3 : Symbol(Wrapper3, Decl(variadicTuples4.ts, 174, 4))
504-
>A : Symbol(A, Decl(variadicTuples4.ts, 176, 16))
505-
>B : Symbol(B, Decl(variadicTuples4.ts, 176, 36))
506-
>Inner : Symbol(Inner, Decl(variadicTuples4.ts, 157, 1))
524+
>Wrapper3 : Symbol(Wrapper3, Decl(variadicTuples4.ts, 180, 4))
525+
>A : Symbol(A, Decl(variadicTuples4.ts, 182, 16))
526+
>B : Symbol(B, Decl(variadicTuples4.ts, 182, 36))
527+
>Inner : Symbol(Inner, Decl(variadicTuples4.ts, 163, 1))
507528

508529
A,
509-
>A : Symbol(A, Decl(variadicTuples4.ts, 176, 16))
530+
>A : Symbol(A, Decl(variadicTuples4.ts, 182, 16))
510531

511532
B,
512-
>B : Symbol(B, Decl(variadicTuples4.ts, 176, 36))
533+
>B : Symbol(B, Decl(variadicTuples4.ts, 182, 36))
513534

514535
[boolean, ...A, ...B, number?]
515-
>A : Symbol(A, Decl(variadicTuples4.ts, 176, 16))
516-
>B : Symbol(B, Decl(variadicTuples4.ts, 176, 36))
536+
>A : Symbol(A, Decl(variadicTuples4.ts, 182, 16))
537+
>B : Symbol(B, Decl(variadicTuples4.ts, 182, 36))
517538

518539
>;
519540
}

‎tests/baselines/reference/variadicTuples4.types‎

Lines changed: 10 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -75,7 +75,7 @@
7575

7676
A,
7777
B,
78-
[...A, boolean, ...B, boolean] // ok
78+
[...A, boolean, ...B, boolean]
7979
>;
8080
}
8181

@@ -182,6 +182,15 @@
182182
B extends unknown[],
183183
C extends unknown[],
184184
> = Inner<A, B, [...A, ...B, ...C]>;
185+
186+
type Wrapper4<
187+
>Wrapper4 : [...A, ...B, ...C]
188+
> : ^^^^^^^^^^^^^^^^^^
189+
190+
A extends unknown[],
191+
B extends unknown[],
192+
C extends B,
193+
> = Inner<A, B, [...A, ...B, ...C]>;
185194
}
186195

187196
{

0 commit comments

Comments
 (0)