File: assignmentCompatWithCallSignaturesWithOptionalParameters.errors.txt

package info (click to toggle)
node-typescript 2.1.5-1
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 203,952 kB
  • ctags: 52,987
  • sloc: sh: 11; makefile: 5
file content (93 lines) | stat: -rw-r--r-- 5,354 bytes parent folder | download | duplicates (7)
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
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithCallSignaturesWithOptionalParameters.ts(16,5): error TS2322: Type '(x: number) => number' is not assignable to type '() => number'.
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithCallSignaturesWithOptionalParameters.ts(19,5): error TS2322: Type '(x: number) => number' is not assignable to type '() => number'.
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithCallSignaturesWithOptionalParameters.ts(20,5): error TS2322: Type '(x: number, y?: number) => number' is not assignable to type '() => number'.
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithCallSignaturesWithOptionalParameters.ts(22,5): error TS2322: Type '(x: number, y: number) => number' is not assignable to type '() => number'.
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithCallSignaturesWithOptionalParameters.ts(33,5): error TS2322: Type '(x: number, y: number) => number' is not assignable to type '(x?: number) => number'.
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithCallSignaturesWithOptionalParameters.ts(39,5): error TS2322: Type '(x: number, y: number) => number' is not assignable to type '(x: number) => number'.
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithCallSignaturesWithOptionalParameters.ts(45,5): error TS2322: Type '(x: number, y: number) => number' is not assignable to type '(x: number) => number'.


==== tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithCallSignaturesWithOptionalParameters.ts (7 errors) ====
    // call signatures in derived types must have the same or fewer optional parameters as the base type
    
    interface Base { 
        a: () => number;
        a2: (x?: number) => number;
        a3: (x: number) => number;
        a4: (x: number, y?: number) => number;
        a5: (x?: number, y?: number) => number;
        a6: (x: number, y: number) => number;
    }
    var b: Base;
    
    var a: () => number;
        a = () => 1 // ok, same number of required params
        a = (x?: number) => 1; // ok, same number of required params
        a = (x: number) => 1; // error, too many required params
        ~
!!! error TS2322: Type '(x: number) => number' is not assignable to type '() => number'.
        a = b.a; // ok
        a = b.a2; // ok
        a = b.a3; // error
        ~
!!! error TS2322: Type '(x: number) => number' is not assignable to type '() => number'.
        a = b.a4; // error
        ~
!!! error TS2322: Type '(x: number, y?: number) => number' is not assignable to type '() => number'.
        a = b.a5; // ok
        a = b.a6; // error
        ~
!!! error TS2322: Type '(x: number, y: number) => number' is not assignable to type '() => number'.
    
    var a2: (x?: number) => number; 
        a2 = () => 1; // ok, same number of required params
        a2 = (x?: number) => 1; // ok, same number of required params
        a2 = (x: number) => 1; // ok, same number of params
        a2 = b.a; // ok
        a2 = b.a2; // ok
        a2 = b.a3; // ok, same number of params
        a2 = b.a4; // ok, excess params are optional in b.a3
        a2 = b.a5; // ok
        a2 = b.a6; // error
        ~~
!!! error TS2322: Type '(x: number, y: number) => number' is not assignable to type '(x?: number) => number'.
    
    var a3: (x: number) => number; 
        a3 = () => 1; // ok, fewer required params
        a3 = (x?: number) => 1; // ok, fewer required params
        a3 = (x: number) => 1; // ok, same number of required params
        a3 = (x: number, y: number) => 1;  // error, too many required params
        ~~
!!! error TS2322: Type '(x: number, y: number) => number' is not assignable to type '(x: number) => number'.
        a3 = b.a; // ok
        a3 = b.a2; // ok
        a3 = b.a3; // ok
        a3 = b.a4; // ok
        a3 = b.a5; // ok
        a3 = b.a6; // error
        ~~
!!! error TS2322: Type '(x: number, y: number) => number' is not assignable to type '(x: number) => number'.
    
    var a4: (x: number, y?: number) => number;
        a4 = () => 1; // ok, fewer required params
        a4 = (x?: number, y?: number) => 1; // ok, fewer required params
        a4 = (x: number) => 1; // ok, same number of required params
        a4 = (x: number, y: number) => 1; // ok, same number of params
        a4 = b.a; // ok
        a4 = b.a2; // ok
        a4 = b.a3; // ok
        a4 = b.a4; // ok
        a4 = b.a5; // ok
        a4 = b.a6; // ok, same number of params
    
    var a5: (x?: number, y?: number) => number;
        a5 = () => 1; // ok, fewer required params
        a5 = (x?: number, y?: number) => 1; // ok, fewer required params
        a5 = (x: number) => 1; // ok, fewer params in lambda
        a5 = (x: number, y: number) => 1;  // ok, same number of params
        a5 = b.a; // ok
        a5 = b.a2; // ok
        a5 = b.a3; // ok, fewer params in b.a3
        a5 = b.a4; // ok, same number of params
        a5 = b.a5; // ok
        a5 = b.a6; // ok, same number of params