TypeScript/tests/baselines/reference/mixinWithUnknownRestParam.types at 4d70d705c635c34cacc742ef98f27168b667ca7d · 0xkhass/TypeScript · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
//// [tests/cases/conformance/classes/mixinWithUnknownRestParam.ts] ////

=== mixinWithUnknownRestParam.ts ===
// Repro for https://github.com/microsoft/TypeScript/issues/29707
// unknown[] should be a valid mixin constructor constraint, same as any[]

type ClassConstructor = new (...args: unknown[]) => {}
>ClassConstructor : ClassConstructor
>                 : ^^^^^^^^^^^^^^^^
>args : unknown[]
>     : ^^^^^^^^^

function mixin<C extends ClassConstructor>(Class: C) {
>mixin : <C extends ClassConstructor>(Class: C) => { new (...args: unknown[]): (Anonymous class); prototype: mixin<any>.(Anonymous class); } & C
>      : ^ ^^^^^^^^^                ^^     ^^ ^^^^^^^^^^^^^^^    ^^         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
>Class : C
>      : ^

    return class extends Class {}
>class extends Class {} : { new (...args: unknown[]): (Anonymous class); prototype: mixin<any>.(Anonymous class); } & C
>                       : ^^^^^^^^^^    ^^         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
>Class : {}
>      : ^^
}

class Base {
>Base : Base
>     : ^^^^

    constructor(public x: number) {}
>x : number
>  : ^^^^^^
}

const Mixed = mixin(Base)
>Mixed : { new (...args: unknown[]): mixin<ClassConstructor>.(Anonymous class); prototype: mixin<any>.(Anonymous class); } & ClassConstructor
>      : ^^^^^^^^^^    ^^         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
>mixin(Base) : { new (...args: unknown[]): mixin<ClassConstructor>.(Anonymous class); prototype: mixin<any>.(Anonymous class); } & ClassConstructor
>            : ^^^^^^^^^^    ^^         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
>mixin : <C extends ClassConstructor>(Class: C) => { new (...args: unknown[]): (Anonymous class); prototype: mixin<any>.(Anonymous class); } & C
>      : ^ ^^^^^^^^^                ^^     ^^ ^^^^^^^^^^^^^^^    ^^         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
>Base : typeof Base
>     : ^^^^^^^^^^^

const instance = new Mixed(42)
>instance : mixin<ClassConstructor>.(Anonymous class)
>         : ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
>new Mixed(42) : mixin<ClassConstructor>.(Anonymous class)
>              : ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
>Mixed : { new (...args: unknown[]): mixin<ClassConstructor>.(Anonymous class); prototype: mixin<any>.(Anonymous class); } & ClassConstructor
>      : ^^^^^^^^^^    ^^         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
>42 : 42
>   : ^^