microsoft/TypeScript
1
0
Fork 0
mirror of https://github.com/microsoft/TypeScript.git synced 2026-05-10 01:43:59 -05:00
Code Issues Packages Projects Releases 212 Wiki Activity

Improve error message

Browse Source 
And accept baselines
This commit is contained in:
Nathan Shively-Sanders
2015-11-25 10:51:31 -08:00
parent f42841c846
commit c87c1e9b3f
42 changed files with 178 additions and 178 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
src/compiler/checker.ts
View File

@@ -5454,9 +5454,9 @@ namespace ts {
}
}
if (localErrors) {
reportError(Diagnostics.Signature_0_has_no_corresponding_signature_in_1,
signatureToString(t, /*enclosingDeclaration*/ undefined, /*flags*/ undefined, kind),
typeToString(source));
reportError(Diagnostics.Type_0_provides_no_match_for_the_signature_1,
typeToString(source),
signatureToString(t, /*enclosingDeclaration*/ undefined, /*flags*/ undefined, kind));
}
return Ternary.False;
}

2
src/compiler/diagnosticMessages.json
View File

@@ -1724,7 +1724,7 @@
"category": "Error",
"code": 2657
},
"Signature '{0}' has no corresponding signature in '{1}'": {
"Type '{0}' provides no match for the signature '{1}'": {
"category": "Error",
"code": 2658
},

4
tests/baselines/reference/assignToFn.errors.txt
View File

@@ -1,5 +1,5 @@
tests/cases/compiler/assignToFn.ts(8,5): error TS2322: Type 'string' is not assignable to type '(n: number) => boolean'.
Signature '(n: number): boolean' has no corresponding signature in 'String'
Type 'String' provides no match for the signature '(n: number): boolean'
==== tests/cases/compiler/assignToFn.ts (1 errors) ====
@@ -13,6 +13,6 @@ tests/cases/compiler/assignToFn.ts(8,5): error TS2322: Type 'string' is not assi
x.f="hello";
~~~
!!! error TS2322: Type 'string' is not assignable to type '(n: number) => boolean'.
!!! error TS2322: Signature '(n: number): boolean' has no corresponding signature in 'String'
!!! error TS2322: Type 'String' provides no match for the signature '(n: number): boolean'
}

32
tests/baselines/reference/assignmentCompatWithConstructSignatures.errors.txt
View File

@@ -1,19 +1,19 @@
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithConstructSignatures.ts(28,1): error TS2322: Type 'S2' is not assignable to type 'T'.
Signature 'new (x: number): void' has no corresponding signature in 'S2'
Type 'S2' provides no match for the signature 'new (x: number): void'
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithConstructSignatures.ts(29,1): error TS2322: Type '(x: string) => void' is not assignable to type 'T'.
Signature 'new (x: number): void' has no corresponding signature in '(x: string) => void'
Type '(x: string) => void' provides no match for the signature 'new (x: number): void'
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithConstructSignatures.ts(30,1): error TS2322: Type '(x: string) => number' is not assignable to type 'T'.
Signature 'new (x: number): void' has no corresponding signature in '(x: string) => number'
Type '(x: string) => number' provides no match for the signature 'new (x: number): void'
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithConstructSignatures.ts(31,1): error TS2322: Type '(x: string) => string' is not assignable to type 'T'.
Signature 'new (x: number): void' has no corresponding signature in '(x: string) => string'
Type '(x: string) => string' provides no match for the signature 'new (x: number): void'
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithConstructSignatures.ts(32,1): error TS2322: Type 'S2' is not assignable to type 'new (x: number) => void'.
Signature 'new (x: number): void' has no corresponding signature in 'S2'
Type 'S2' provides no match for the signature 'new (x: number): void'
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithConstructSignatures.ts(33,1): error TS2322: Type '(x: string) => void' is not assignable to type 'new (x: number) => void'.
Signature 'new (x: number): void' has no corresponding signature in '(x: string) => void'
Type '(x: string) => void' provides no match for the signature 'new (x: number): void'
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithConstructSignatures.ts(34,1): error TS2322: Type '(x: string) => number' is not assignable to type 'new (x: number) => void'.
Signature 'new (x: number): void' has no corresponding signature in '(x: string) => number'
Type '(x: string) => number' provides no match for the signature 'new (x: number): void'
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithConstructSignatures.ts(35,1): error TS2322: Type '(x: string) => string' is not assignable to type 'new (x: number) => void'.
Signature 'new (x: number): void' has no corresponding signature in '(x: string) => string'
Type '(x: string) => string' provides no match for the signature 'new (x: number): void'
==== tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithConstructSignatures.ts (8 errors) ====
@@ -47,33 +47,33 @@ tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignme
t = s2;
~
!!! error TS2322: Type 'S2' is not assignable to type 'T'.
!!! error TS2322: Signature 'new (x: number): void' has no corresponding signature in 'S2'
!!! error TS2322: Type 'S2' provides no match for the signature 'new (x: number): void'
t = a3;
~
!!! error TS2322: Type '(x: string) => void' is not assignable to type 'T'.
!!! error TS2322: Signature 'new (x: number): void' has no corresponding signature in '(x: string) => void'
!!! error TS2322: Type '(x: string) => void' provides no match for the signature 'new (x: number): void'
t = (x: string) => 1;
~
!!! error TS2322: Type '(x: string) => number' is not assignable to type 'T'.
!!! error TS2322: Signature 'new (x: number): void' has no corresponding signature in '(x: string) => number'
!!! error TS2322: Type '(x: string) => number' provides no match for the signature 'new (x: number): void'
t = function (x: string) { return ''; }
~
!!! error TS2322: Type '(x: string) => string' is not assignable to type 'T'.
!!! error TS2322: Signature 'new (x: number): void' has no corresponding signature in '(x: string) => string'
!!! error TS2322: Type '(x: string) => string' provides no match for the signature 'new (x: number): void'
a = s2;
~
!!! error TS2322: Type 'S2' is not assignable to type 'new (x: number) => void'.
!!! error TS2322: Signature 'new (x: number): void' has no corresponding signature in 'S2'
!!! error TS2322: Type 'S2' provides no match for the signature 'new (x: number): void'
a = a3;
~
!!! error TS2322: Type '(x: string) => void' is not assignable to type 'new (x: number) => void'.
!!! error TS2322: Signature 'new (x: number): void' has no corresponding signature in '(x: string) => void'
!!! error TS2322: Type '(x: string) => void' provides no match for the signature 'new (x: number): void'
a = (x: string) => 1;
~
!!! error TS2322: Type '(x: string) => number' is not assignable to type 'new (x: number) => void'.
!!! error TS2322: Signature 'new (x: number): void' has no corresponding signature in '(x: string) => number'
!!! error TS2322: Type '(x: string) => number' provides no match for the signature 'new (x: number): void'
a = function (x: string) { return ''; }
~
!!! error TS2322: Type '(x: string) => string' is not assignable to type 'new (x: number) => void'.
!!! error TS2322: Signature 'new (x: number): void' has no corresponding signature in '(x: string) => string'
!!! error TS2322: Type '(x: string) => string' provides no match for the signature 'new (x: number): void'

16
tests/baselines/reference/assignmentCompatWithConstructSignatures2.errors.txt
View File

@@ -9,11 +9,11 @@ tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignme
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithConstructSignatures2.ts(34,1): error TS2322: Type 'S2' is not assignable to type 'T'.
Types of property 'f' are incompatible.
Type '(x: string) => void' is not assignable to type 'new (x: number) => void'.
Signature 'new (x: number): void' has no corresponding signature in '(x: string) => void'
Type '(x: string) => void' provides no match for the signature 'new (x: number): void'
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithConstructSignatures2.ts(35,1): error TS2322: Type '{ f(x: string): void; }' is not assignable to type 'T'.
Types of property 'f' are incompatible.
Type '(x: string) => void' is not assignable to type 'new (x: number) => void'.
Signature 'new (x: number): void' has no corresponding signature in '(x: string) => void'
Type '(x: string) => void' provides no match for the signature 'new (x: number): void'
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithConstructSignatures2.ts(36,1): error TS2322: Type '(x: string) => number' is not assignable to type 'T'.
Property 'f' is missing in type '(x: string) => number'.
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithConstructSignatures2.ts(37,1): error TS2322: Type '(x: string) => string' is not assignable to type 'T'.
@@ -21,11 +21,11 @@ tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignme
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithConstructSignatures2.ts(38,1): error TS2322: Type 'S2' is not assignable to type '{ f: new (x: number) => void; }'.
Types of property 'f' are incompatible.
Type '(x: string) => void' is not assignable to type 'new (x: number) => void'.
Signature 'new (x: number): void' has no corresponding signature in '(x: string) => void'
Type '(x: string) => void' provides no match for the signature 'new (x: number): void'
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithConstructSignatures2.ts(39,1): error TS2322: Type '{ f(x: string): void; }' is not assignable to type '{ f: new (x: number) => void; }'.
Types of property 'f' are incompatible.
Type '(x: string) => void' is not assignable to type 'new (x: number) => void'.
Signature 'new (x: number): void' has no corresponding signature in '(x: string) => void'
Type '(x: string) => void' provides no match for the signature 'new (x: number): void'
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithConstructSignatures2.ts(40,1): error TS2322: Type '(x: string) => number' is not assignable to type '{ f: new (x: number) => void; }'.
Property 'f' is missing in type '(x: string) => number'.
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithConstructSignatures2.ts(41,1): error TS2322: Type '(x: string) => string' is not assignable to type '{ f: new (x: number) => void; }'.
@@ -83,13 +83,13 @@ tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignme
!!! error TS2322: Type 'S2' is not assignable to type 'T'.
!!! error TS2322: Types of property 'f' are incompatible.
!!! error TS2322: Type '(x: string) => void' is not assignable to type 'new (x: number) => void'.
!!! error TS2322: Signature 'new (x: number): void' has no corresponding signature in '(x: string) => void'
!!! error TS2322: Type '(x: string) => void' provides no match for the signature 'new (x: number): void'
t = a3;
~
!!! error TS2322: Type '{ f(x: string): void; }' is not assignable to type 'T'.
!!! error TS2322: Types of property 'f' are incompatible.
!!! error TS2322: Type '(x: string) => void' is not assignable to type 'new (x: number) => void'.
!!! error TS2322: Signature 'new (x: number): void' has no corresponding signature in '(x: string) => void'
!!! error TS2322: Type '(x: string) => void' provides no match for the signature 'new (x: number): void'
t = (x: string) => 1;
~
!!! error TS2322: Type '(x: string) => number' is not assignable to type 'T'.
@@ -103,13 +103,13 @@ tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignme
!!! error TS2322: Type 'S2' is not assignable to type '{ f: new (x: number) => void; }'.
!!! error TS2322: Types of property 'f' are incompatible.
!!! error TS2322: Type '(x: string) => void' is not assignable to type 'new (x: number) => void'.
!!! error TS2322: Signature 'new (x: number): void' has no corresponding signature in '(x: string) => void'
!!! error TS2322: Type '(x: string) => void' provides no match for the signature 'new (x: number): void'
a = a3;
~
!!! error TS2322: Type '{ f(x: string): void; }' is not assignable to type '{ f: new (x: number) => void; }'.
!!! error TS2322: Types of property 'f' are incompatible.
!!! error TS2322: Type '(x: string) => void' is not assignable to type 'new (x: number) => void'.
!!! error TS2322: Signature 'new (x: number): void' has no corresponding signature in '(x: string) => void'
!!! error TS2322: Type '(x: string) => void' provides no match for the signature 'new (x: number): void'
a = (x: string) => 1;
~
!!! error TS2322: Type '(x: string) => number' is not assignable to type '{ f: new (x: number) => void; }'.

8
tests/baselines/reference/assignmentCompatWithConstructSignatures4.errors.txt
View File

@@ -11,14 +11,14 @@ tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignme
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithConstructSignatures4.ts(77,9): error TS2322: Type 'new <T>(x: (a: T) => T) => T[]' is not assignable to type '{ new (x: { new (a: number): number; new (a?: number): number; }): number[]; new (x: { new (a: boolean): boolean; new (a?: boolean): boolean; }): boolean[]; }'.
Types of parameters 'x' and 'x' are incompatible.
Type '(a: any) => any' is not assignable to type '{ new (a: number): number; new (a?: number): number; }'.
Signature 'new (a: number): number' has no corresponding signature in '(a: any) => any'
Type '(a: any) => any' provides no match for the signature 'new (a: number): number'
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithConstructSignatures4.ts(78,9): error TS2322: Type '{ new (x: { new (a: number): number; new (a?: number): number; }): number[]; new (x: { new (a: boolean): boolean; new (a?: boolean): boolean; }): boolean[]; }' is not assignable to type 'new <T>(x: (a: T) => T) => T[]'.
Types of parameters 'x' and 'x' are incompatible.
Type '{ new (a: number): number; new (a?: number): number; }' is not assignable to type '(a: any) => any'.
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithConstructSignatures4.ts(81,9): error TS2322: Type 'new <T>(x: (a: T) => T) => any[]' is not assignable to type '{ new (x: { new <T extends Derived>(a: T): T; new <T extends Base>(a: T): T; }): any[]; new (x: { new <T extends Derived2>(a: T): T; new <T extends Base>(a: T): T; }): any[]; }'.
Types of parameters 'x' and 'x' are incompatible.
Type '(a: any) => any' is not assignable to type '{ new <T extends Derived>(a: T): T; new <T extends Base>(a: T): T; }'.
Signature 'new <T extends Derived>(a: T): T' has no corresponding signature in '(a: any) => any'
Type '(a: any) => any' provides no match for the signature 'new <T extends Derived>(a: T): T'
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithConstructSignatures4.ts(82,9): error TS2322: Type '{ new (x: { new <T extends Derived>(a: T): T; new <T extends Base>(a: T): T; }): any[]; new (x: { new <T extends Derived2>(a: T): T; new <T extends Base>(a: T): T; }): any[]; }' is not assignable to type 'new <T>(x: (a: T) => T) => any[]'.
Types of parameters 'x' and 'x' are incompatible.
Type '{ new <T extends Derived>(a: T): T; new <T extends Base>(a: T): T; }' is not assignable to type '(a: any) => any'.
@@ -118,7 +118,7 @@ tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignme
!!! error TS2322: Type 'new <T>(x: (a: T) => T) => T[]' is not assignable to type '{ new (x: { new (a: number): number; new (a?: number): number; }): number[]; new (x: { new (a: boolean): boolean; new (a?: boolean): boolean; }): boolean[]; }'.
!!! error TS2322: Types of parameters 'x' and 'x' are incompatible.
!!! error TS2322: Type '(a: any) => any' is not assignable to type '{ new (a: number): number; new (a?: number): number; }'.
!!! error TS2322: Signature 'new (a: number): number' has no corresponding signature in '(a: any) => any'
!!! error TS2322: Type '(a: any) => any' provides no match for the signature 'new (a: number): number'
b16 = a16; // error
~~~
!!! error TS2322: Type '{ new (x: { new (a: number): number; new (a?: number): number; }): number[]; new (x: { new (a: boolean): boolean; new (a?: boolean): boolean; }): boolean[]; }' is not assignable to type 'new <T>(x: (a: T) => T) => T[]'.
@@ -131,7 +131,7 @@ tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignme
!!! error TS2322: Type 'new <T>(x: (a: T) => T) => any[]' is not assignable to type '{ new (x: { new <T extends Derived>(a: T): T; new <T extends Base>(a: T): T; }): any[]; new (x: { new <T extends Derived2>(a: T): T; new <T extends Base>(a: T): T; }): any[]; }'.
!!! error TS2322: Types of parameters 'x' and 'x' are incompatible.
!!! error TS2322: Type '(a: any) => any' is not assignable to type '{ new <T extends Derived>(a: T): T; new <T extends Base>(a: T): T; }'.
!!! error TS2322: Signature 'new <T extends Derived>(a: T): T' has no corresponding signature in '(a: any) => any'
!!! error TS2322: Type '(a: any) => any' provides no match for the signature 'new <T extends Derived>(a: T): T'
b17 = a17; // error
~~~
!!! error TS2322: Type '{ new (x: { new <T extends Derived>(a: T): T; new <T extends Base>(a: T): T; }): any[]; new (x: { new <T extends Derived2>(a: T): T; new <T extends Base>(a: T): T; }): any[]; }' is not assignable to type 'new <T>(x: (a: T) => T) => any[]'.

4
tests/baselines/reference/assignmentCompatability24.errors.txt
View File

@@ -1,5 +1,5 @@
tests/cases/compiler/assignmentCompatability24.ts(9,1): error TS2322: Type 'interfaceWithPublicAndOptional<number, string>' is not assignable to type '<Tstring>(a: Tstring) => Tstring'.
Signature '<Tstring>(a: Tstring): Tstring' has no corresponding signature in 'interfaceWithPublicAndOptional<number, string>'
Type 'interfaceWithPublicAndOptional<number, string>' provides no match for the signature '<Tstring>(a: Tstring): Tstring'
==== tests/cases/compiler/assignmentCompatability24.ts (1 errors) ====
@@ -14,4 +14,4 @@ tests/cases/compiler/assignmentCompatability24.ts(9,1): error TS2322: Type 'inte
__test2__.__val__obj = __test1__.__val__obj4
~~~~~~~~~~~~~~~~~~~~
!!! error TS2322: Type 'interfaceWithPublicAndOptional<number, string>' is not assignable to type '<Tstring>(a: Tstring) => Tstring'.
!!! error TS2322: Signature '<Tstring>(a: Tstring): Tstring' has no corresponding signature in 'interfaceWithPublicAndOptional<number, string>'
!!! error TS2322: Type 'interfaceWithPublicAndOptional<number, string>' provides no match for the signature '<Tstring>(a: Tstring): Tstring'

4
tests/baselines/reference/assignmentCompatability33.errors.txt
View File

@@ -1,5 +1,5 @@
tests/cases/compiler/assignmentCompatability33.ts(9,1): error TS2322: Type 'interfaceWithPublicAndOptional<number, string>' is not assignable to type '<Tstring>(a: Tstring) => Tstring'.
Signature '<Tstring>(a: Tstring): Tstring' has no corresponding signature in 'interfaceWithPublicAndOptional<number, string>'
Type 'interfaceWithPublicAndOptional<number, string>' provides no match for the signature '<Tstring>(a: Tstring): Tstring'
==== tests/cases/compiler/assignmentCompatability33.ts (1 errors) ====
@@ -14,4 +14,4 @@ tests/cases/compiler/assignmentCompatability33.ts(9,1): error TS2322: Type 'inte
__test2__.__val__obj = __test1__.__val__obj4
~~~~~~~~~~~~~~~~~~~~
!!! error TS2322: Type 'interfaceWithPublicAndOptional<number, string>' is not assignable to type '<Tstring>(a: Tstring) => Tstring'.
!!! error TS2322: Signature '<Tstring>(a: Tstring): Tstring' has no corresponding signature in 'interfaceWithPublicAndOptional<number, string>'
!!! error TS2322: Type 'interfaceWithPublicAndOptional<number, string>' provides no match for the signature '<Tstring>(a: Tstring): Tstring'

4
tests/baselines/reference/assignmentCompatability34.errors.txt
View File

@@ -1,5 +1,5 @@
tests/cases/compiler/assignmentCompatability34.ts(9,1): error TS2322: Type 'interfaceWithPublicAndOptional<number, string>' is not assignable to type '<Tnumber>(a: Tnumber) => Tnumber'.
Signature '<Tnumber>(a: Tnumber): Tnumber' has no corresponding signature in 'interfaceWithPublicAndOptional<number, string>'
Type 'interfaceWithPublicAndOptional<number, string>' provides no match for the signature '<Tnumber>(a: Tnumber): Tnumber'
==== tests/cases/compiler/assignmentCompatability34.ts (1 errors) ====
@@ -14,4 +14,4 @@ tests/cases/compiler/assignmentCompatability34.ts(9,1): error TS2322: Type 'inte
__test2__.__val__obj = __test1__.__val__obj4
~~~~~~~~~~~~~~~~~~~~
!!! error TS2322: Type 'interfaceWithPublicAndOptional<number, string>' is not assignable to type '<Tnumber>(a: Tnumber) => Tnumber'.
!!! error TS2322: Signature '<Tnumber>(a: Tnumber): Tnumber' has no corresponding signature in 'interfaceWithPublicAndOptional<number, string>'
!!! error TS2322: Type 'interfaceWithPublicAndOptional<number, string>' provides no match for the signature '<Tnumber>(a: Tnumber): Tnumber'

4
tests/baselines/reference/assignmentCompatability37.errors.txt
View File

@@ -1,5 +1,5 @@
tests/cases/compiler/assignmentCompatability37.ts(9,1): error TS2322: Type 'interfaceWithPublicAndOptional<number, string>' is not assignable to type 'new <Tnumber>(param: Tnumber) => any'.
Signature 'new <Tnumber>(param: Tnumber): any' has no corresponding signature in 'interfaceWithPublicAndOptional<number, string>'
Type 'interfaceWithPublicAndOptional<number, string>' provides no match for the signature 'new <Tnumber>(param: Tnumber): any'
==== tests/cases/compiler/assignmentCompatability37.ts (1 errors) ====
@@ -14,4 +14,4 @@ tests/cases/compiler/assignmentCompatability37.ts(9,1): error TS2322: Type 'inte
__test2__.__val__aa = __test1__.__val__obj4
~~~~~~~~~~~~~~~~~~~
!!! error TS2322: Type 'interfaceWithPublicAndOptional<number, string>' is not assignable to type 'new <Tnumber>(param: Tnumber) => any'.
!!! error TS2322: Signature 'new <Tnumber>(param: Tnumber): any' has no corresponding signature in 'interfaceWithPublicAndOptional<number, string>'
!!! error TS2322: Type 'interfaceWithPublicAndOptional<number, string>' provides no match for the signature 'new <Tnumber>(param: Tnumber): any'

4
tests/baselines/reference/assignmentCompatability38.errors.txt
View File

@@ -1,5 +1,5 @@
tests/cases/compiler/assignmentCompatability38.ts(9,1): error TS2322: Type 'interfaceWithPublicAndOptional<number, string>' is not assignable to type 'new <Tstring>(param: Tstring) => any'.
Signature 'new <Tstring>(param: Tstring): any' has no corresponding signature in 'interfaceWithPublicAndOptional<number, string>'
Type 'interfaceWithPublicAndOptional<number, string>' provides no match for the signature 'new <Tstring>(param: Tstring): any'
==== tests/cases/compiler/assignmentCompatability38.ts (1 errors) ====
@@ -14,4 +14,4 @@ tests/cases/compiler/assignmentCompatability38.ts(9,1): error TS2322: Type 'inte
__test2__.__val__aa = __test1__.__val__obj4
~~~~~~~~~~~~~~~~~~~
!!! error TS2322: Type 'interfaceWithPublicAndOptional<number, string>' is not assignable to type 'new <Tstring>(param: Tstring) => any'.
!!! error TS2322: Signature 'new <Tstring>(param: Tstring): any' has no corresponding signature in 'interfaceWithPublicAndOptional<number, string>'
!!! error TS2322: Type 'interfaceWithPublicAndOptional<number, string>' provides no match for the signature 'new <Tstring>(param: Tstring): any'

4
tests/baselines/reference/assignmentToObject.errors.txt
View File

@@ -1,7 +1,7 @@
tests/cases/compiler/assignmentToObject.ts(3,5): error TS2322: Type '{ toString: number; }' is not assignable to type 'Object'.
Types of property 'toString' are incompatible.
Type 'number' is not assignable to type '() => string'.
Signature '(): string' has no corresponding signature in 'Number'
Type 'Number' provides no match for the signature '(): string'
==== tests/cases/compiler/assignmentToObject.ts (1 errors) ====
@@ -12,5 +12,5 @@ tests/cases/compiler/assignmentToObject.ts(3,5): error TS2322: Type '{ toString:
!!! error TS2322: Type '{ toString: number; }' is not assignable to type 'Object'.
!!! error TS2322: Types of property 'toString' are incompatible.
!!! error TS2322: Type 'number' is not assignable to type '() => string'.
!!! error TS2322: Signature '(): string' has no corresponding signature in 'Number'
!!! error TS2322: Type 'Number' provides no match for the signature '(): string'

8
tests/baselines/reference/assignmentToObjectAndFunction.errors.txt
View File

@@ -1,13 +1,13 @@
tests/cases/compiler/assignmentToObjectAndFunction.ts(1,5): error TS2322: Type '{ toString: number; }' is not assignable to type 'Object'.
Types of property 'toString' are incompatible.
Type 'number' is not assignable to type '() => string'.
Signature '(): string' has no corresponding signature in 'Number'
Type 'Number' provides no match for the signature '(): string'
tests/cases/compiler/assignmentToObjectAndFunction.ts(8,5): error TS2322: Type '{}' is not assignable to type 'Function'.
Property 'apply' is missing in type '{}'.
tests/cases/compiler/assignmentToObjectAndFunction.ts(29,5): error TS2322: Type 'typeof bad' is not assignable to type 'Function'.
Types of property 'apply' are incompatible.
Type 'number' is not assignable to type '(thisArg: any, argArray?: any) => any'.
Signature '(thisArg: any, argArray?: any): any' has no corresponding signature in 'Number'
Type 'Number' provides no match for the signature '(thisArg: any, argArray?: any): any'
==== tests/cases/compiler/assignmentToObjectAndFunction.ts (3 errors) ====
@@ -16,7 +16,7 @@ tests/cases/compiler/assignmentToObjectAndFunction.ts(29,5): error TS2322: Type
!!! error TS2322: Type '{ toString: number; }' is not assignable to type 'Object'.
!!! error TS2322: Types of property 'toString' are incompatible.
!!! error TS2322: Type 'number' is not assignable to type '() => string'.
!!! error TS2322: Signature '(): string' has no corresponding signature in 'Number'
!!! error TS2322: Type 'Number' provides no match for the signature '(): string'
var goodObj: Object = {
toString(x?) {
return "";
@@ -52,4 +52,4 @@ tests/cases/compiler/assignmentToObjectAndFunction.ts(29,5): error TS2322: Type
!!! error TS2322: Type 'typeof bad' is not assignable to type 'Function'.
!!! error TS2322: Types of property 'apply' are incompatible.
!!! error TS2322: Type 'number' is not assignable to type '(thisArg: any, argArray?: any) => any'.
!!! error TS2322: Signature '(thisArg: any, argArray?: any): any' has no corresponding signature in 'Number'
!!! error TS2322: Type 'Number' provides no match for the signature '(thisArg: any, argArray?: any): any'

8
tests/baselines/reference/callConstructAssignment.errors.txt
View File

@@ -1,7 +1,7 @@
tests/cases/compiler/callConstructAssignment.ts(7,1): error TS2322: Type 'new () => any' is not assignable to type '() => void'.
Signature '(): void' has no corresponding signature in 'new () => any'
Type 'new () => any' provides no match for the signature '(): void'
tests/cases/compiler/callConstructAssignment.ts(8,1): error TS2322: Type '() => void' is not assignable to type 'new () => any'.
Signature 'new (): any' has no corresponding signature in '() => void'
Type '() => void' provides no match for the signature 'new (): any'
==== tests/cases/compiler/callConstructAssignment.ts (2 errors) ====
@@ -14,8 +14,8 @@ tests/cases/compiler/callConstructAssignment.ts(8,1): error TS2322: Type '() =>
foo = bar; // error
~~~
!!! error TS2322: Type 'new () => any' is not assignable to type '() => void'.
!!! error TS2322: Signature '(): void' has no corresponding signature in 'new () => any'
!!! error TS2322: Type 'new () => any' provides no match for the signature '(): void'
bar = foo; // error
~~~
!!! error TS2322: Type '() => void' is not assignable to type 'new () => any'.
!!! error TS2322: Signature 'new (): any' has no corresponding signature in '() => void'
!!! error TS2322: Type '() => void' provides no match for the signature 'new (): any'

4
tests/baselines/reference/classAbstractAssignabilityConstructorFunction.errors.txt
View File

@@ -1,7 +1,7 @@
tests/cases/conformance/classes/classDeclarations/classAbstractKeyword/classAbstractAssignabilityConstructorFunction.ts(7,1): error TS2322: Type 'typeof A' is not assignable to type 'new () => A'.
Cannot assign an abstract constructor type to a non-abstract constructor type.
tests/cases/conformance/classes/classDeclarations/classAbstractKeyword/classAbstractAssignabilityConstructorFunction.ts(8,1): error TS2322: Type 'string' is not assignable to type 'new () => A'.
Signature 'new (): A' has no corresponding signature in 'String'
Type 'String' provides no match for the signature 'new (): A'
==== tests/cases/conformance/classes/classDeclarations/classAbstractKeyword/classAbstractAssignabilityConstructorFunction.ts (2 errors) ====
@@ -18,4 +18,4 @@ tests/cases/conformance/classes/classDeclarations/classAbstractKeyword/classAbst
AAA = "asdf";
~~~
!!! error TS2322: Type 'string' is not assignable to type 'new () => A'.
!!! error TS2322: Signature 'new (): A' has no corresponding signature in 'String'
!!! error TS2322: Type 'String' provides no match for the signature 'new (): A'

4
tests/baselines/reference/constructorAsType.errors.txt
View File

@@ -1,12 +1,12 @@
tests/cases/compiler/constructorAsType.ts(1,5): error TS2322: Type '() => { name: string; }' is not assignable to type 'new () => { name: string; }'.
Signature 'new (): { name: string; }' has no corresponding signature in '() => { name: string; }'
Type '() => { name: string; }' provides no match for the signature 'new (): { name: string; }'
==== tests/cases/compiler/constructorAsType.ts (1 errors) ====
var Person:new () => {name: string;} = function () {return {name:"joe"};};
~~~~~~
!!! error TS2322: Type '() => { name: string; }' is not assignable to type 'new () => { name: string; }'.
!!! error TS2322: Signature 'new (): { name: string; }' has no corresponding signature in '() => { name: string; }'
!!! error TS2322: Type '() => { name: string; }' provides no match for the signature 'new (): { name: string; }'
var Person2:{new() : {name:string;};};

4
tests/baselines/reference/contextualTyping24.errors.txt
View File

@@ -1,7 +1,7 @@
tests/cases/compiler/contextualTyping24.ts(1,55): error TS2322: Type '(a: string) => number' is not assignable to type '(a: { (): number; (i: number): number; }) => number'.
Types of parameters 'a' and 'a' are incompatible.
Type 'string' is not assignable to type '{ (): number; (i: number): number; }'.
Signature '(): number' has no corresponding signature in 'String'
Type 'String' provides no match for the signature '(): number'
==== tests/cases/compiler/contextualTyping24.ts (1 errors) ====
@@ -10,4 +10,4 @@ tests/cases/compiler/contextualTyping24.ts(1,55): error TS2322: Type '(a: string
!!! error TS2322: Type '(a: string) => number' is not assignable to type '(a: { (): number; (i: number): number; }) => number'.
!!! error TS2322: Types of parameters 'a' and 'a' are incompatible.
!!! error TS2322: Type 'string' is not assignable to type '{ (): number; (i: number): number; }'.
!!! error TS2322: Signature '(): number' has no corresponding signature in 'String'
!!! error TS2322: Type 'String' provides no match for the signature '(): number'

12
tests/baselines/reference/enumAssignability.errors.txt
View File

@@ -6,11 +6,11 @@ tests/cases/conformance/types/typeRelationships/assignmentCompatibility/enumAssi
Property 'toDateString' is missing in type 'Number'.
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/enumAssignability.ts(33,9): error TS2322: Type 'E' is not assignable to type 'void'.
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/enumAssignability.ts(36,9): error TS2322: Type 'E' is not assignable to type '() => {}'.
Signature '(): {}' has no corresponding signature in 'Number'
Type 'Number' provides no match for the signature '(): {}'
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/enumAssignability.ts(37,9): error TS2322: Type 'E' is not assignable to type 'Function'.
Property 'apply' is missing in type 'Number'.
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/enumAssignability.ts(38,9): error TS2322: Type 'E' is not assignable to type '(x: number) => string'.
Signature '(x: number): string' has no corresponding signature in 'Number'
Type 'Number' provides no match for the signature '(x: number): string'
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/enumAssignability.ts(39,5): error TS2322: Type 'E' is not assignable to type 'C'.
Property 'foo' is missing in type 'Number'.
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/enumAssignability.ts(40,5): error TS2322: Type 'E' is not assignable to type 'I'.
@@ -20,7 +20,7 @@ tests/cases/conformance/types/typeRelationships/assignmentCompatibility/enumAssi
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/enumAssignability.ts(42,9): error TS2322: Type 'E' is not assignable to type '{ foo: string; }'.
Property 'foo' is missing in type 'Number'.
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/enumAssignability.ts(43,9): error TS2322: Type 'E' is not assignable to type '<T>(x: T) => T'.
Signature '<T>(x: T): T' has no corresponding signature in 'Number'
Type 'Number' provides no match for the signature '<T>(x: T): T'
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/enumAssignability.ts(45,9): error TS2322: Type 'E' is not assignable to type 'String'.
Property 'charAt' is missing in type 'Number'.
tests/cases/conformance/types/typeRelationships/assignmentCompatibility/enumAssignability.ts(47,21): error TS2313: Constraint of a type parameter cannot reference any type parameter from the same type parameter list.
@@ -83,7 +83,7 @@ tests/cases/conformance/types/typeRelationships/assignmentCompatibility/enumAssi
var j: () => {} = e;
~
!!! error TS2322: Type 'E' is not assignable to type '() => {}'.
!!! error TS2322: Signature '(): {}' has no corresponding signature in 'Number'
!!! error TS2322: Type 'Number' provides no match for the signature '(): {}'
var k: Function = e;
~
!!! error TS2322: Type 'E' is not assignable to type 'Function'.
@@ -91,7 +91,7 @@ tests/cases/conformance/types/typeRelationships/assignmentCompatibility/enumAssi
var l: (x: number) => string = e;
~
!!! error TS2322: Type 'E' is not assignable to type '(x: number) => string'.
!!! error TS2322: Signature '(x: number): string' has no corresponding signature in 'Number'
!!! error TS2322: Type 'Number' provides no match for the signature '(x: number): string'
ac = e;
~~
!!! error TS2322: Type 'E' is not assignable to type 'C'.
@@ -111,7 +111,7 @@ tests/cases/conformance/types/typeRelationships/assignmentCompatibility/enumAssi
var o: <T>(x: T) => T = e;
~
!!! error TS2322: Type 'E' is not assignable to type '<T>(x: T) => T'.
!!! error TS2322: Signature '<T>(x: T): T' has no corresponding signature in 'Number'
!!! error TS2322: Type 'Number' provides no match for the signature '<T>(x: T): T'
var p: Number = e;
var q: String = e;
~

4
tests/baselines/reference/for-of30.errors.txt
View File

@@ -4,7 +4,7 @@ tests/cases/conformance/es6/for-ofStatements/for-of30.ts(1,15): error TS2322: Ty
Type 'StringIterator' is not assignable to type 'Iterator<string>'.
Types of property 'return' are incompatible.
Type 'number' is not assignable to type '(value?: any) => IteratorResult<string>'.
Signature '(value?: any): IteratorResult<string>' has no corresponding signature in 'Number'
Type 'Number' provides no match for the signature '(value?: any): IteratorResult<string>'
==== tests/cases/conformance/es6/for-ofStatements/for-of30.ts (1 errors) ====
@@ -16,7 +16,7 @@ tests/cases/conformance/es6/for-ofStatements/for-of30.ts(1,15): error TS2322: Ty
!!! error TS2322: Type 'StringIterator' is not assignable to type 'Iterator<string>'.
!!! error TS2322: Types of property 'return' are incompatible.
!!! error TS2322: Type 'number' is not assignable to type '(value?: any) => IteratorResult<string>'.
!!! error TS2322: Signature '(value?: any): IteratorResult<string>' has no corresponding signature in 'Number'
!!! error TS2322: Type 'Number' provides no match for the signature '(value?: any): IteratorResult<string>'
class StringIterator {
next() {

24
tests/baselines/reference/functionConstraintSatisfaction2.errors.txt
View File

@@ -3,21 +3,21 @@ tests/cases/conformance/types/typeParameters/typeArgumentLists/functionConstrain
tests/cases/conformance/types/typeParameters/typeArgumentLists/functionConstraintSatisfaction2.ts(6,1): error TS2346: Supplied parameters do not match any signature of call target.
tests/cases/conformance/types/typeParameters/typeArgumentLists/functionConstraintSatisfaction2.ts(7,1): error TS2346: Supplied parameters do not match any signature of call target.
tests/cases/conformance/types/typeParameters/typeArgumentLists/functionConstraintSatisfaction2.ts(23,14): error TS2345: Argument of type 'Function' is not assignable to parameter of type '(x: string) => string'.
Signature '(x: string): string' has no corresponding signature in 'Function'
Type 'Function' provides no match for the signature '(x: string): string'
tests/cases/conformance/types/typeParameters/typeArgumentLists/functionConstraintSatisfaction2.ts(24,15): error TS2345: Argument of type '(x: string[]) => string[]' is not assignable to parameter of type '(x: string) => string'.
Types of parameters 'x' and 'x' are incompatible.
Type 'string[]' is not assignable to type 'string'.
tests/cases/conformance/types/typeParameters/typeArgumentLists/functionConstraintSatisfaction2.ts(25,15): error TS2345: Argument of type 'typeof C' is not assignable to parameter of type '(x: string) => string'.
Signature '(x: string): string' has no corresponding signature in 'typeof C'
Type 'typeof C' provides no match for the signature '(x: string): string'
tests/cases/conformance/types/typeParameters/typeArgumentLists/functionConstraintSatisfaction2.ts(26,15): error TS2345: Argument of type 'new (x: string) => string' is not assignable to parameter of type '(x: string) => string'.
Signature '(x: string): string' has no corresponding signature in 'new (x: string) => string'
Type 'new (x: string) => string' provides no match for the signature '(x: string): string'
tests/cases/conformance/types/typeParameters/typeArgumentLists/functionConstraintSatisfaction2.ts(28,16): error TS2345: Argument of type '<U, V>(x: U, y: V) => U' is not assignable to parameter of type '(x: string) => string'.
tests/cases/conformance/types/typeParameters/typeArgumentLists/functionConstraintSatisfaction2.ts(29,16): error TS2345: Argument of type 'typeof C2' is not assignable to parameter of type '(x: string) => string'.
Signature '(x: string): string' has no corresponding signature in 'typeof C2'
Type 'typeof C2' provides no match for the signature '(x: string): string'
tests/cases/conformance/types/typeParameters/typeArgumentLists/functionConstraintSatisfaction2.ts(30,16): error TS2345: Argument of type 'new <T>(x: T) => T' is not assignable to parameter of type '(x: string) => string'.
Signature '(x: string): string' has no corresponding signature in 'new <T>(x: T) => T'
Type 'new <T>(x: T) => T' provides no match for the signature '(x: string): string'
tests/cases/conformance/types/typeParameters/typeArgumentLists/functionConstraintSatisfaction2.ts(34,16): error TS2345: Argument of type 'F2' is not assignable to parameter of type '(x: string) => string'.
Signature '(x: string): string' has no corresponding signature in 'F2'
Type 'F2' provides no match for the signature '(x: string): string'
tests/cases/conformance/types/typeParameters/typeArgumentLists/functionConstraintSatisfaction2.ts(36,38): error TS2313: Constraint of a type parameter cannot reference any type parameter from the same type parameter list.
tests/cases/conformance/types/typeParameters/typeArgumentLists/functionConstraintSatisfaction2.ts(37,10): error TS2345: Argument of type 'T' is not assignable to parameter of type '(x: string) => string'.
Type '() => void' is not assignable to type '(x: string) => string'.
@@ -57,7 +57,7 @@ tests/cases/conformance/types/typeParameters/typeArgumentLists/functionConstrain
var r = foo2(new Function());
~~~~~~~~~~~~~~
!!! error TS2345: Argument of type 'Function' is not assignable to parameter of type '(x: string) => string'.
!!! error TS2345: Signature '(x: string): string' has no corresponding signature in 'Function'
!!! error TS2345: Type 'Function' provides no match for the signature '(x: string): string'
var r2 = foo2((x: string[]) => x);
~~~~~~~~~~~~~~~~~~
!!! error TS2345: Argument of type '(x: string[]) => string[]' is not assignable to parameter of type '(x: string) => string'.
@@ -66,11 +66,11 @@ tests/cases/conformance/types/typeParameters/typeArgumentLists/functionConstrain
var r6 = foo2(C);
~
!!! error TS2345: Argument of type 'typeof C' is not assignable to parameter of type '(x: string) => string'.
!!! error TS2345: Signature '(x: string): string' has no corresponding signature in 'typeof C'
!!! error TS2345: Type 'typeof C' provides no match for the signature '(x: string): string'
var r7 = foo2(b);
~
!!! error TS2345: Argument of type 'new (x: string) => string' is not assignable to parameter of type '(x: string) => string'.
!!! error TS2345: Signature '(x: string): string' has no corresponding signature in 'new (x: string) => string'
!!! error TS2345: Type 'new (x: string) => string' provides no match for the signature '(x: string): string'
var r8 = foo2(<U>(x: U) => x); // no error expected
var r11 = foo2(<U, V>(x: U, y: V) => x);
~~~~~~~~~~~~~~~~~~~~~~~
@@ -78,18 +78,18 @@ tests/cases/conformance/types/typeParameters/typeArgumentLists/functionConstrain
var r13 = foo2(C2);
~~
!!! error TS2345: Argument of type 'typeof C2' is not assignable to parameter of type '(x: string) => string'.
!!! error TS2345: Signature '(x: string): string' has no corresponding signature in 'typeof C2'
!!! error TS2345: Type 'typeof C2' provides no match for the signature '(x: string): string'
var r14 = foo2(b2);
~~
!!! error TS2345: Argument of type 'new <T>(x: T) => T' is not assignable to parameter of type '(x: string) => string'.
!!! error TS2345: Signature '(x: string): string' has no corresponding signature in 'new <T>(x: T) => T'
!!! error TS2345: Type 'new <T>(x: T) => T' provides no match for the signature '(x: string): string'
interface F2 extends Function { foo: string; }
var f2: F2;
var r16 = foo2(f2);
~~
!!! error TS2345: Argument of type 'F2' is not assignable to parameter of type '(x: string) => string'.
!!! error TS2345: Signature '(x: string): string' has no corresponding signature in 'F2'
!!! error TS2345: Type 'F2' provides no match for the signature '(x: string): string'
function fff<T extends { (): void }, U extends T>(x: T, y: U) {
~~~~~~~~~~~

4
tests/baselines/reference/generatorTypeCheck31.errors.txt
View File

@@ -1,5 +1,5 @@
tests/cases/conformance/es6/yieldExpressions/generatorTypeCheck31.ts(2,11): error TS2322: Type 'IterableIterator<(x: any) => any>' is not assignable to type '() => Iterable<(x: string) => number>'.
Signature '(): Iterable<(x: string) => number>' has no corresponding signature in 'IterableIterator<(x: any) => any>'
Type 'IterableIterator<(x: any) => any>' provides no match for the signature '(): Iterable<(x: string) => number>'
==== tests/cases/conformance/es6/yieldExpressions/generatorTypeCheck31.ts (1 errors) ====
@@ -11,5 +11,5 @@ tests/cases/conformance/es6/yieldExpressions/generatorTypeCheck31.ts(2,11): erro
} ()
~~~~~~~~
!!! error TS2322: Type 'IterableIterator<(x: any) => any>' is not assignable to type '() => Iterable<(x: string) => number>'.
!!! error TS2322: Signature '(): Iterable<(x: string) => number>' has no corresponding signature in 'IterableIterator<(x: any) => any>'
!!! error TS2322: Type 'IterableIterator<(x: any) => any>' provides no match for the signature '(): Iterable<(x: string) => number>'
}

4
tests/baselines/reference/genericCallWithGenericSignatureArguments3.errors.txt
View File

@@ -3,7 +3,7 @@ tests/cases/conformance/types/typeRelationships/typeInference/genericCallWithGen
Type 'boolean' is not assignable to type 'string'.
tests/cases/conformance/types/typeRelationships/typeInference/genericCallWithGenericSignatureArguments3.ts(33,11): error TS2453: The type argument for type parameter 'U' cannot be inferred from the usage. Consider specifying the type arguments explicitly.
Type argument candidate '(n: Object) => number' is not a valid type argument because it is not a supertype of candidate 'number'.
Signature '(n: Object): number' has no corresponding signature in 'Number'
Type 'Number' provides no match for the signature '(n: Object): number'
==== tests/cases/conformance/types/typeRelationships/typeInference/genericCallWithGenericSignatureArguments3.ts (2 errors) ====
@@ -47,4 +47,4 @@ tests/cases/conformance/types/typeRelationships/typeInference/genericCallWithGen
~~~~
!!! error TS2453: The type argument for type parameter 'U' cannot be inferred from the usage. Consider specifying the type arguments explicitly.
!!! error TS2453: Type argument candidate '(n: Object) => number' is not a valid type argument because it is not a supertype of candidate 'number'.
!!! error TS2453: Signature '(n: Object): number' has no corresponding signature in 'Number'
!!! error TS2453: Type 'Number' provides no match for the signature '(n: Object): number'

4
tests/baselines/reference/incompatibleTypes.errors.txt
View File

@@ -23,7 +23,7 @@ tests/cases/compiler/incompatibleTypes.ts(49,7): error TS2345: Argument of type
tests/cases/compiler/incompatibleTypes.ts(66,47): error TS2322: Type '{ e: number; f: number; }' is not assignable to type '{ a: { a: string; }; b: string; }'.
Object literal may only specify known properties, and 'e' does not exist in type '{ a: { a: string; }; b: string; }'.
tests/cases/compiler/incompatibleTypes.ts(72,5): error TS2322: Type 'number' is not assignable to type '() => string'.
Signature '(): string' has no corresponding signature in 'Number'
Type 'Number' provides no match for the signature '(): string'
tests/cases/compiler/incompatibleTypes.ts(74,5): error TS2322: Type '(a: any) => number' is not assignable to type '() => any'.
@@ -133,7 +133,7 @@ tests/cases/compiler/incompatibleTypes.ts(74,5): error TS2322: Type '(a: any) =>
var i1c1: { (): string; } = 5;
~~~~
!!! error TS2322: Type 'number' is not assignable to type '() => string'.
!!! error TS2322: Signature '(): string' has no corresponding signature in 'Number'
!!! error TS2322: Type 'Number' provides no match for the signature '(): string'
var fp1: () =>any = a => 0;
~~~

4
tests/baselines/reference/inheritanceMemberAccessorOverridingMethod.errors.txt
View File

@@ -1,7 +1,7 @@
tests/cases/compiler/inheritanceMemberAccessorOverridingMethod.ts(7,7): error TS2415: Class 'b' incorrectly extends base class 'a'.
Types of property 'x' are incompatible.
Type 'string' is not assignable to type '() => string'.
Signature '(): string' has no corresponding signature in 'String'
Type 'String' provides no match for the signature '(): string'
tests/cases/compiler/inheritanceMemberAccessorOverridingMethod.ts(8,9): error TS1056: Accessors are only available when targeting ECMAScript 5 and higher.
tests/cases/compiler/inheritanceMemberAccessorOverridingMethod.ts(8,9): error TS2423: Class 'a' defines instance member function 'x', but extended class 'b' defines it as instance member accessor.
tests/cases/compiler/inheritanceMemberAccessorOverridingMethod.ts(11,9): error TS1056: Accessors are only available when targeting ECMAScript 5 and higher.
@@ -19,7 +19,7 @@ tests/cases/compiler/inheritanceMemberAccessorOverridingMethod.ts(11,9): error T
!!! error TS2415: Class 'b' incorrectly extends base class 'a'.
!!! error TS2415: Types of property 'x' are incompatible.
!!! error TS2415: Type 'string' is not assignable to type '() => string'.
!!! error TS2415: Signature '(): string' has no corresponding signature in 'String'
!!! error TS2415: Type 'String' provides no match for the signature '(): string'
get x() {
~
!!! error TS1056: Accessors are only available when targeting ECMAScript 5 and higher.

4
tests/baselines/reference/inheritanceStaticAccessorOverridingMethod.errors.txt
View File

@@ -1,7 +1,7 @@
tests/cases/compiler/inheritanceStaticAccessorOverridingMethod.ts(7,7): error TS2417: Class static side 'typeof b' incorrectly extends base class static side 'typeof a'.
Types of property 'x' are incompatible.
Type 'string' is not assignable to type '() => string'.
Signature '(): string' has no corresponding signature in 'String'
Type 'String' provides no match for the signature '(): string'
tests/cases/compiler/inheritanceStaticAccessorOverridingMethod.ts(8,16): error TS1056: Accessors are only available when targeting ECMAScript 5 and higher.
tests/cases/compiler/inheritanceStaticAccessorOverridingMethod.ts(11,16): error TS1056: Accessors are only available when targeting ECMAScript 5 and higher.
@@ -18,7 +18,7 @@ tests/cases/compiler/inheritanceStaticAccessorOverridingMethod.ts(11,16): error
!!! error TS2417: Class static side 'typeof b' incorrectly extends base class static side 'typeof a'.
!!! error TS2417: Types of property 'x' are incompatible.
!!! error TS2417: Type 'string' is not assignable to type '() => string'.
!!! error TS2417: Signature '(): string' has no corresponding signature in 'String'
!!! error TS2417: Type 'String' provides no match for the signature '(): string'
static get x() {
~
!!! error TS1056: Accessors are only available when targeting ECMAScript 5 and higher.

4
tests/baselines/reference/inheritanceStaticPropertyOverridingMethod.errors.txt
View File

@@ -1,7 +1,7 @@
tests/cases/compiler/inheritanceStaticPropertyOverridingMethod.ts(7,7): error TS2417: Class static side 'typeof b' incorrectly extends base class static side 'typeof a'.
Types of property 'x' are incompatible.
Type 'string' is not assignable to type '() => string'.
Signature '(): string' has no corresponding signature in 'String'
Type 'String' provides no match for the signature '(): string'
==== tests/cases/compiler/inheritanceStaticPropertyOverridingMethod.ts (1 errors) ====
@@ -16,6 +16,6 @@ tests/cases/compiler/inheritanceStaticPropertyOverridingMethod.ts(7,7): error TS
!!! error TS2417: Class static side 'typeof b' incorrectly extends base class static side 'typeof a'.
!!! error TS2417: Types of property 'x' are incompatible.
!!! error TS2417: Type 'string' is not assignable to type '() => string'.
!!! error TS2417: Signature '(): string' has no corresponding signature in 'String'
!!! error TS2417: Type 'String' provides no match for the signature '(): string'
static x: string;
}

72
tests/baselines/reference/intTypeCheck.errors.txt
View File

@@ -14,27 +14,27 @@ tests/cases/compiler/intTypeCheck.ts(106,20): error TS1109: Expression expected.
tests/cases/compiler/intTypeCheck.ts(106,21): error TS2304: Cannot find name 'i1'.
tests/cases/compiler/intTypeCheck.ts(107,17): error TS2351: Cannot use 'new' with an expression whose type lacks a call or construct signature.
tests/cases/compiler/intTypeCheck.ts(112,5): error TS2322: Type '{}' is not assignable to type 'i2'.
Signature '(): any' has no corresponding signature in '{}'
Type '{}' provides no match for the signature '(): any'
tests/cases/compiler/intTypeCheck.ts(113,5): error TS2322: Type 'Object' is not assignable to type 'i2'.
Signature '(): any' has no corresponding signature in 'Object'
Type 'Object' provides no match for the signature '(): any'
tests/cases/compiler/intTypeCheck.ts(114,17): error TS2350: Only a void function can be called with the 'new' keyword.
tests/cases/compiler/intTypeCheck.ts(115,5): error TS2322: Type 'Base' is not assignable to type 'i2'.
Signature '(): any' has no corresponding signature in 'Base'
Type 'Base' provides no match for the signature '(): any'
tests/cases/compiler/intTypeCheck.ts(120,5): error TS2322: Type 'boolean' is not assignable to type 'i2'.
Signature '(): any' has no corresponding signature in 'Boolean'
Type 'Boolean' provides no match for the signature '(): any'
tests/cases/compiler/intTypeCheck.ts(120,21): error TS1109: Expression expected.
tests/cases/compiler/intTypeCheck.ts(120,22): error TS2304: Cannot find name 'i2'.
tests/cases/compiler/intTypeCheck.ts(121,17): error TS2351: Cannot use 'new' with an expression whose type lacks a call or construct signature.
tests/cases/compiler/intTypeCheck.ts(126,5): error TS2322: Type '{}' is not assignable to type 'i3'.
Signature 'new (): any' has no corresponding signature in '{}'
Type '{}' provides no match for the signature 'new (): any'
tests/cases/compiler/intTypeCheck.ts(127,5): error TS2322: Type 'Object' is not assignable to type 'i3'.
Signature 'new (): any' has no corresponding signature in 'Object'
Type 'Object' provides no match for the signature 'new (): any'
tests/cases/compiler/intTypeCheck.ts(129,5): error TS2322: Type 'Base' is not assignable to type 'i3'.
Signature 'new (): any' has no corresponding signature in 'Base'
Type 'Base' provides no match for the signature 'new (): any'
tests/cases/compiler/intTypeCheck.ts(131,5): error TS2322: Type '() => void' is not assignable to type 'i3'.
Signature 'new (): any' has no corresponding signature in '() => void'
Type '() => void' provides no match for the signature 'new (): any'
tests/cases/compiler/intTypeCheck.ts(134,5): error TS2322: Type 'boolean' is not assignable to type 'i3'.
Signature 'new (): any' has no corresponding signature in 'Boolean'
Type 'Boolean' provides no match for the signature 'new (): any'
tests/cases/compiler/intTypeCheck.ts(134,21): error TS1109: Expression expected.
tests/cases/compiler/intTypeCheck.ts(134,22): error TS2304: Cannot find name 'i3'.
tests/cases/compiler/intTypeCheck.ts(135,17): error TS2351: Cannot use 'new' with an expression whose type lacks a call or construct signature.
@@ -59,29 +59,29 @@ tests/cases/compiler/intTypeCheck.ts(162,21): error TS1109: Expression expected.
tests/cases/compiler/intTypeCheck.ts(162,22): error TS2304: Cannot find name 'i5'.
tests/cases/compiler/intTypeCheck.ts(163,17): error TS2351: Cannot use 'new' with an expression whose type lacks a call or construct signature.
tests/cases/compiler/intTypeCheck.ts(168,5): error TS2322: Type '{}' is not assignable to type 'i6'.
Signature '(): any' has no corresponding signature in '{}'
Type '{}' provides no match for the signature '(): any'
tests/cases/compiler/intTypeCheck.ts(169,5): error TS2322: Type 'Object' is not assignable to type 'i6'.
Signature '(): any' has no corresponding signature in 'Object'
Type 'Object' provides no match for the signature '(): any'
tests/cases/compiler/intTypeCheck.ts(170,17): error TS2350: Only a void function can be called with the 'new' keyword.
tests/cases/compiler/intTypeCheck.ts(171,5): error TS2322: Type 'Base' is not assignable to type 'i6'.
Signature '(): any' has no corresponding signature in 'Base'
Type 'Base' provides no match for the signature '(): any'
tests/cases/compiler/intTypeCheck.ts(173,5): error TS2322: Type '() => void' is not assignable to type 'i6'.
Type 'void' is not assignable to type 'number'.
tests/cases/compiler/intTypeCheck.ts(176,5): error TS2322: Type 'boolean' is not assignable to type 'i6'.
Signature '(): any' has no corresponding signature in 'Boolean'
Type 'Boolean' provides no match for the signature '(): any'
tests/cases/compiler/intTypeCheck.ts(176,21): error TS1109: Expression expected.
tests/cases/compiler/intTypeCheck.ts(176,22): error TS2304: Cannot find name 'i6'.
tests/cases/compiler/intTypeCheck.ts(177,17): error TS2351: Cannot use 'new' with an expression whose type lacks a call or construct signature.
tests/cases/compiler/intTypeCheck.ts(182,5): error TS2322: Type '{}' is not assignable to type 'i7'.
Signature 'new (): any' has no corresponding signature in '{}'
Type '{}' provides no match for the signature 'new (): any'
tests/cases/compiler/intTypeCheck.ts(183,5): error TS2322: Type 'Object' is not assignable to type 'i7'.
Signature 'new (): any' has no corresponding signature in 'Object'
Type 'Object' provides no match for the signature 'new (): any'
tests/cases/compiler/intTypeCheck.ts(185,17): error TS2352: Neither type 'Base' nor type 'i7' is assignable to the other.
Signature 'new (): any' has no corresponding signature in 'Base'
Type 'Base' provides no match for the signature 'new (): any'
tests/cases/compiler/intTypeCheck.ts(187,5): error TS2322: Type '() => void' is not assignable to type 'i7'.
Signature 'new (): any' has no corresponding signature in '() => void'
Type '() => void' provides no match for the signature 'new (): any'
tests/cases/compiler/intTypeCheck.ts(190,5): error TS2322: Type 'boolean' is not assignable to type 'i7'.
Signature 'new (): any' has no corresponding signature in 'Boolean'
Type 'Boolean' provides no match for the signature 'new (): any'
tests/cases/compiler/intTypeCheck.ts(190,21): error TS1109: Expression expected.
tests/cases/compiler/intTypeCheck.ts(190,22): error TS2304: Cannot find name 'i7'.
tests/cases/compiler/intTypeCheck.ts(191,17): error TS2351: Cannot use 'new' with an expression whose type lacks a call or construct signature.
@@ -234,18 +234,18 @@ tests/cases/compiler/intTypeCheck.ts(205,17): error TS2351: Cannot use 'new' wit
var obj12: i2 = {};
~~~~~
!!! error TS2322: Type '{}' is not assignable to type 'i2'.
!!! error TS2322: Signature '(): any' has no corresponding signature in '{}'
!!! error TS2322: Type '{}' provides no match for the signature '(): any'
var obj13: i2 = new Object();
~~~~~
!!! error TS2322: Type 'Object' is not assignable to type 'i2'.
!!! error TS2322: Signature '(): any' has no corresponding signature in 'Object'
!!! error TS2322: Type 'Object' provides no match for the signature '(): any'
var obj14: i2 = new obj11;
~~~~~~~~~
!!! error TS2350: Only a void function can be called with the 'new' keyword.
var obj15: i2 = new Base;
~~~~~
!!! error TS2322: Type 'Base' is not assignable to type 'i2'.
!!! error TS2322: Signature '(): any' has no corresponding signature in 'Base'
!!! error TS2322: Type 'Base' provides no match for the signature '(): any'
var obj16: i2 = null;
var obj17: i2 = function ():any { return 0; };
//var obj18: i2 = function foo() { };
@@ -253,7 +253,7 @@ tests/cases/compiler/intTypeCheck.ts(205,17): error TS2351: Cannot use 'new' wit
var obj20: i2 = new <i2> anyVar;
~~~~~
!!! error TS2322: Type 'boolean' is not assignable to type 'i2'.
!!! error TS2322: Signature '(): any' has no corresponding signature in 'Boolean'
!!! error TS2322: Type 'Boolean' provides no match for the signature '(): any'
~
!!! error TS1109: Expression expected.
~~
@@ -268,27 +268,27 @@ tests/cases/compiler/intTypeCheck.ts(205,17): error TS2351: Cannot use 'new' wit
var obj23: i3 = {};
~~~~~
!!! error TS2322: Type '{}' is not assignable to type 'i3'.
!!! error TS2322: Signature 'new (): any' has no corresponding signature in '{}'
!!! error TS2322: Type '{}' provides no match for the signature 'new (): any'
var obj24: i3 = new Object();
~~~~~
!!! error TS2322: Type 'Object' is not assignable to type 'i3'.
!!! error TS2322: Signature 'new (): any' has no corresponding signature in 'Object'
!!! error TS2322: Type 'Object' provides no match for the signature 'new (): any'
var obj25: i3 = new obj22;
var obj26: i3 = new Base;
~~~~~
!!! error TS2322: Type 'Base' is not assignable to type 'i3'.
!!! error TS2322: Signature 'new (): any' has no corresponding signature in 'Base'
!!! error TS2322: Type 'Base' provides no match for the signature 'new (): any'
var obj27: i3 = null;
var obj28: i3 = function () { };
~~~~~
!!! error TS2322: Type '() => void' is not assignable to type 'i3'.
!!! error TS2322: Signature 'new (): any' has no corresponding signature in '() => void'
!!! error TS2322: Type '() => void' provides no match for the signature 'new (): any'
//var obj29: i3 = function foo() { };
var obj30: i3 = <i3> anyVar;
var obj31: i3 = new <i3> anyVar;
~~~~~
!!! error TS2322: Type 'boolean' is not assignable to type 'i3'.
!!! error TS2322: Signature 'new (): any' has no corresponding signature in 'Boolean'
!!! error TS2322: Type 'Boolean' provides no match for the signature 'new (): any'
~
!!! error TS1109: Expression expected.
~~
@@ -365,18 +365,18 @@ tests/cases/compiler/intTypeCheck.ts(205,17): error TS2351: Cannot use 'new' wit
var obj56: i6 = {};
~~~~~
!!! error TS2322: Type '{}' is not assignable to type 'i6'.
!!! error TS2322: Signature '(): any' has no corresponding signature in '{}'
!!! error TS2322: Type '{}' provides no match for the signature '(): any'
var obj57: i6 = new Object();
~~~~~
!!! error TS2322: Type 'Object' is not assignable to type 'i6'.
!!! error TS2322: Signature '(): any' has no corresponding signature in 'Object'
!!! error TS2322: Type 'Object' provides no match for the signature '(): any'
var obj58: i6 = new obj55;
~~~~~~~~~
!!! error TS2350: Only a void function can be called with the 'new' keyword.
var obj59: i6 = new Base;
~~~~~
!!! error TS2322: Type 'Base' is not assignable to type 'i6'.
!!! error TS2322: Signature '(): any' has no corresponding signature in 'Base'
!!! error TS2322: Type 'Base' provides no match for the signature '(): any'
var obj60: i6 = null;
var obj61: i6 = function () { };
~~~~~
@@ -387,7 +387,7 @@ tests/cases/compiler/intTypeCheck.ts(205,17): error TS2351: Cannot use 'new' wit
var obj64: i6 = new <i6> anyVar;
~~~~~
!!! error TS2322: Type 'boolean' is not assignable to type 'i6'.
!!! error TS2322: Signature '(): any' has no corresponding signature in 'Boolean'
!!! error TS2322: Type 'Boolean' provides no match for the signature '(): any'
~
!!! error TS1109: Expression expected.
~~
@@ -402,27 +402,27 @@ tests/cases/compiler/intTypeCheck.ts(205,17): error TS2351: Cannot use 'new' wit
var obj67: i7 = {};
~~~~~
!!! error TS2322: Type '{}' is not assignable to type 'i7'.
!!! error TS2322: Signature 'new (): any' has no corresponding signature in '{}'
!!! error TS2322: Type '{}' provides no match for the signature 'new (): any'
var obj68: i7 = new Object();
~~~~~
!!! error TS2322: Type 'Object' is not assignable to type 'i7'.
!!! error TS2322: Signature 'new (): any' has no corresponding signature in 'Object'
!!! error TS2322: Type 'Object' provides no match for the signature 'new (): any'
var obj69: i7 = new obj66;
var obj70: i7 = <i7>new Base;
~~~~~~~~~~~~
!!! error TS2352: Neither type 'Base' nor type 'i7' is assignable to the other.
!!! error TS2352: Signature 'new (): any' has no corresponding signature in 'Base'
!!! error TS2352: Type 'Base' provides no match for the signature 'new (): any'
var obj71: i7 = null;
var obj72: i7 = function () { };
~~~~~
!!! error TS2322: Type '() => void' is not assignable to type 'i7'.
!!! error TS2322: Signature 'new (): any' has no corresponding signature in '() => void'
!!! error TS2322: Type '() => void' provides no match for the signature 'new (): any'
//var obj73: i7 = function foo() { };
var obj74: i7 = <i7> anyVar;
var obj75: i7 = new <i7> anyVar;
~~~~~
!!! error TS2322: Type 'boolean' is not assignable to type 'i7'.
!!! error TS2322: Signature 'new (): any' has no corresponding signature in 'Boolean'
!!! error TS2322: Type 'Boolean' provides no match for the signature 'new (): any'
~
!!! error TS1109: Expression expected.
~~

4
tests/baselines/reference/interfaceImplementation1.errors.txt
View File

@@ -3,7 +3,7 @@ tests/cases/compiler/interfaceImplementation1.ts(12,7): error TS2420: Class 'C1'
tests/cases/compiler/interfaceImplementation1.ts(12,7): error TS2420: Class 'C1' incorrectly implements interface 'I2'.
Property 'iFn' is private in type 'C1' but not in type 'I2'.
tests/cases/compiler/interfaceImplementation1.ts(34,5): error TS2322: Type '() => C2' is not assignable to type 'I4'.
Signature 'new (): I3' has no corresponding signature in '() => C2'
Type '() => C2' provides no match for the signature 'new (): I3'
==== tests/cases/compiler/interfaceImplementation1.ts (3 errors) ====
@@ -49,7 +49,7 @@ tests/cases/compiler/interfaceImplementation1.ts(34,5): error TS2322: Type '() =
var a:I4 = function(){
~
!!! error TS2322: Type '() => C2' is not assignable to type 'I4'.
!!! error TS2322: Signature 'new (): I3' has no corresponding signature in '() => C2'
!!! error TS2322: Type '() => C2' provides no match for the signature 'new (): I3'
return new C2();
}
new a();

4
tests/baselines/reference/invalidBooleanAssignments.errors.txt
View File

@@ -7,7 +7,7 @@ tests/cases/conformance/types/primitives/boolean/invalidBooleanAssignments.ts(12
tests/cases/conformance/types/primitives/boolean/invalidBooleanAssignments.ts(15,5): error TS2322: Type 'boolean' is not assignable to type 'I'.
Property 'bar' is missing in type 'Boolean'.
tests/cases/conformance/types/primitives/boolean/invalidBooleanAssignments.ts(17,5): error TS2322: Type 'boolean' is not assignable to type '() => string'.
Signature '(): string' has no corresponding signature in 'Boolean'
Type 'Boolean' provides no match for the signature '(): string'
tests/cases/conformance/types/primitives/boolean/invalidBooleanAssignments.ts(21,1): error TS2364: Invalid left-hand side of assignment expression.
tests/cases/conformance/types/primitives/boolean/invalidBooleanAssignments.ts(24,5): error TS2322: Type 'boolean' is not assignable to type 'T'.
tests/cases/conformance/types/primitives/boolean/invalidBooleanAssignments.ts(26,1): error TS2364: Invalid left-hand side of assignment expression.
@@ -47,7 +47,7 @@ tests/cases/conformance/types/primitives/boolean/invalidBooleanAssignments.ts(26
var h: { (): string } = x;
~
!!! error TS2322: Type 'boolean' is not assignable to type '() => string'.
!!! error TS2322: Signature '(): string' has no corresponding signature in 'Boolean'
!!! error TS2322: Type 'Boolean' provides no match for the signature '(): string'
var h2: { toString(): string } = x; // no error
module M { export var a = 1; }

8
tests/baselines/reference/objectTypeWithCallSignatureHidingMembersOfFunctionAssignmentCompat.errors.txt
View File

@@ -1,7 +1,7 @@
tests/cases/conformance/types/members/objectTypeWithCallSignatureHidingMembersOfFunctionAssignmentCompat.ts(8,1): error TS2322: Type 'Object' is not assignable to type 'I'.
Signature '(): void' has no corresponding signature in 'Object'
Type 'Object' provides no match for the signature '(): void'
tests/cases/conformance/types/members/objectTypeWithCallSignatureHidingMembersOfFunctionAssignmentCompat.ts(14,1): error TS2322: Type 'Object' is not assignable to type '() => void'.
Signature '(): void' has no corresponding signature in 'Object'
Type 'Object' provides no match for the signature '(): void'
==== tests/cases/conformance/types/members/objectTypeWithCallSignatureHidingMembersOfFunctionAssignmentCompat.ts (2 errors) ====
@@ -15,7 +15,7 @@ tests/cases/conformance/types/members/objectTypeWithCallSignatureHidingMembersOf
i = f;
~
!!! error TS2322: Type 'Object' is not assignable to type 'I'.
!!! error TS2322: Signature '(): void' has no corresponding signature in 'Object'
!!! error TS2322: Type 'Object' provides no match for the signature '(): void'
var a: {
(): void
@@ -24,4 +24,4 @@ tests/cases/conformance/types/members/objectTypeWithCallSignatureHidingMembersOf
a = f;
~
!!! error TS2322: Type 'Object' is not assignable to type '() => void'.
!!! error TS2322: Signature '(): void' has no corresponding signature in 'Object'
!!! error TS2322: Type 'Object' provides no match for the signature '(): void'

8
tests/baselines/reference/objectTypeWithConstructSignatureHidingMembersOfFunctionAssignmentCompat.errors.txt
View File

@@ -1,7 +1,7 @@
tests/cases/conformance/types/members/objectTypeWithConstructSignatureHidingMembersOfFunctionAssignmentCompat.ts(8,1): error TS2322: Type 'Object' is not assignable to type 'I'.
Signature 'new (): any' has no corresponding signature in 'Object'
Type 'Object' provides no match for the signature 'new (): any'
tests/cases/conformance/types/members/objectTypeWithConstructSignatureHidingMembersOfFunctionAssignmentCompat.ts(14,1): error TS2322: Type 'Object' is not assignable to type 'new () => any'.
Signature 'new (): any' has no corresponding signature in 'Object'
Type 'Object' provides no match for the signature 'new (): any'
==== tests/cases/conformance/types/members/objectTypeWithConstructSignatureHidingMembersOfFunctionAssignmentCompat.ts (2 errors) ====
@@ -15,7 +15,7 @@ tests/cases/conformance/types/members/objectTypeWithConstructSignatureHidingMemb
i = f;
~
!!! error TS2322: Type 'Object' is not assignable to type 'I'.
!!! error TS2322: Signature 'new (): any' has no corresponding signature in 'Object'
!!! error TS2322: Type 'Object' provides no match for the signature 'new (): any'
var a: {
new(): any
@@ -24,4 +24,4 @@ tests/cases/conformance/types/members/objectTypeWithConstructSignatureHidingMemb
a = f;
~
!!! error TS2322: Type 'Object' is not assignable to type 'new () => any'.
!!! error TS2322: Signature 'new (): any' has no corresponding signature in 'Object'
!!! error TS2322: Type 'Object' provides no match for the signature 'new (): any'

4
tests/baselines/reference/overloadOnConstInheritance2.errors.txt
View File

@@ -1,7 +1,7 @@
tests/cases/compiler/overloadOnConstInheritance2.ts(5,11): error TS2430: Interface 'Deriver' incorrectly extends interface 'Base'.
Types of property 'addEventListener' are incompatible.
Type '(x: "bar") => string' is not assignable to type '{ (x: string): any; (x: "foo"): string; }'.
Signature '(x: string): any' has no corresponding signature in '(x: "bar") => string'
Type '(x: "bar") => string' provides no match for the signature '(x: string): any'
tests/cases/compiler/overloadOnConstInheritance2.ts(6,5): error TS2382: Specialized overload signature is not assignable to any non-specialized signature.
@@ -15,7 +15,7 @@ tests/cases/compiler/overloadOnConstInheritance2.ts(6,5): error TS2382: Speciali
!!! error TS2430: Interface 'Deriver' incorrectly extends interface 'Base'.
!!! error TS2430: Types of property 'addEventListener' are incompatible.
!!! error TS2430: Type '(x: "bar") => string' is not assignable to type '{ (x: string): any; (x: "foo"): string; }'.
!!! error TS2430: Signature '(x: string): any' has no corresponding signature in '(x: "bar") => string'
!!! error TS2430: Type '(x: "bar") => string' provides no match for the signature '(x: string): any'
addEventListener(x: 'bar'): string; // shouldn't need to redeclare the string overload
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
!!! error TS2382: Specialized overload signature is not assignable to any non-specialized signature.

4
tests/baselines/reference/overloadOnConstInheritance3.errors.txt
View File

@@ -1,7 +1,7 @@
tests/cases/compiler/overloadOnConstInheritance3.ts(4,11): error TS2430: Interface 'Deriver' incorrectly extends interface 'Base'.
Types of property 'addEventListener' are incompatible.
Type '{ (x: "bar"): string; (x: "foo"): string; }' is not assignable to type '(x: string) => any'.
Signature '(x: string): any' has no corresponding signature in '{ (x: "bar"): string; (x: "foo"): string; }'
Type '{ (x: "bar"): string; (x: "foo"): string; }' provides no match for the signature '(x: string): any'
tests/cases/compiler/overloadOnConstInheritance3.ts(6,5): error TS2382: Specialized overload signature is not assignable to any non-specialized signature.
tests/cases/compiler/overloadOnConstInheritance3.ts(7,5): error TS2382: Specialized overload signature is not assignable to any non-specialized signature.
@@ -15,7 +15,7 @@ tests/cases/compiler/overloadOnConstInheritance3.ts(7,5): error TS2382: Speciali
!!! error TS2430: Interface 'Deriver' incorrectly extends interface 'Base'.
!!! error TS2430: Types of property 'addEventListener' are incompatible.
!!! error TS2430: Type '{ (x: "bar"): string; (x: "foo"): string; }' is not assignable to type '(x: string) => any'.
!!! error TS2430: Signature '(x: string): any' has no corresponding signature in '{ (x: "bar"): string; (x: "foo"): string; }'
!!! error TS2430: Type '{ (x: "bar"): string; (x: "foo"): string; }' provides no match for the signature '(x: string): any'
// shouldn't need to redeclare the string overload
addEventListener(x: 'bar'): string;
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

4
tests/baselines/reference/parseTypes.errors.txt
View File

@@ -3,7 +3,7 @@ tests/cases/compiler/parseTypes.ts(10,1): error TS2322: Type '(s: string) => voi
tests/cases/compiler/parseTypes.ts(11,1): error TS2322: Type '(s: string) => void' is not assignable to type '{ [x: number]: number; }'.
Index signature is missing in type '(s: string) => void'.
tests/cases/compiler/parseTypes.ts(12,1): error TS2322: Type '(s: string) => void' is not assignable to type 'new () => number'.
Signature 'new (): number' has no corresponding signature in '(s: string) => void'
Type '(s: string) => void' provides no match for the signature 'new (): number'
==== tests/cases/compiler/parseTypes.ts (4 errors) ====
@@ -28,5 +28,5 @@ tests/cases/compiler/parseTypes.ts(12,1): error TS2322: Type '(s: string) => voi
z=g;
~
!!! error TS2322: Type '(s: string) => void' is not assignable to type 'new () => number'.
!!! error TS2322: Signature 'new (): number' has no corresponding signature in '(s: string) => void'
!!! error TS2322: Type '(s: string) => void' provides no match for the signature 'new (): number'

8
tests/baselines/reference/parserAutomaticSemicolonInsertion1.errors.txt
View File

@@ -1,7 +1,7 @@
tests/cases/conformance/parser/ecmascript5/AutomaticSemicolonInsertion/parserAutomaticSemicolonInsertion1.ts(8,1): error TS2322: Type 'Object' is not assignable to type 'I'.
Signature '(): void' has no corresponding signature in 'Object'
Type 'Object' provides no match for the signature '(): void'
tests/cases/conformance/parser/ecmascript5/AutomaticSemicolonInsertion/parserAutomaticSemicolonInsertion1.ts(14,1): error TS2322: Type 'Object' is not assignable to type '() => void'.
Signature '(): void' has no corresponding signature in 'Object'
Type 'Object' provides no match for the signature '(): void'
==== tests/cases/conformance/parser/ecmascript5/AutomaticSemicolonInsertion/parserAutomaticSemicolonInsertion1.ts (2 errors) ====
@@ -15,7 +15,7 @@ tests/cases/conformance/parser/ecmascript5/AutomaticSemicolonInsertion/parserAut
i = o;
~
!!! error TS2322: Type 'Object' is not assignable to type 'I'.
!!! error TS2322: Signature '(): void' has no corresponding signature in 'Object'
!!! error TS2322: Type 'Object' provides no match for the signature '(): void'
var a: {
(): void
@@ -24,5 +24,5 @@ tests/cases/conformance/parser/ecmascript5/AutomaticSemicolonInsertion/parserAut
a = o;
~
!!! error TS2322: Type 'Object' is not assignable to type '() => void'.
!!! error TS2322: Signature '(): void' has no corresponding signature in 'Object'
!!! error TS2322: Type 'Object' provides no match for the signature '(): void'

8
tests/baselines/reference/propertyAssignment.errors.txt
View File

@@ -1,9 +1,9 @@
tests/cases/compiler/propertyAssignment.ts(6,13): error TS1170: A computed property name in a type literal must directly refer to a built-in symbol.
tests/cases/compiler/propertyAssignment.ts(6,14): error TS2304: Cannot find name 'index'.
tests/cases/compiler/propertyAssignment.ts(14,1): error TS2322: Type '{ x: number; }' is not assignable to type 'new () => any'.
Signature 'new (): any' has no corresponding signature in '{ x: number; }'
Type '{ x: number; }' provides no match for the signature 'new (): any'
tests/cases/compiler/propertyAssignment.ts(16,1): error TS2322: Type '{ x: number; }' is not assignable to type '() => void'.
Signature '(): void' has no corresponding signature in '{ x: number; }'
Type '{ x: number; }' provides no match for the signature '(): void'
==== tests/cases/compiler/propertyAssignment.ts (4 errors) ====
@@ -27,9 +27,9 @@ tests/cases/compiler/propertyAssignment.ts(16,1): error TS2322: Type '{ x: numbe
foo1 = bar1; // should be an error
~~~~
!!! error TS2322: Type '{ x: number; }' is not assignable to type 'new () => any'.
!!! error TS2322: Signature 'new (): any' has no corresponding signature in '{ x: number; }'
!!! error TS2322: Type '{ x: number; }' provides no match for the signature 'new (): any'
foo2 = bar2;
foo3 = bar3; // should be an error
~~~~
!!! error TS2322: Type '{ x: number; }' is not assignable to type '() => void'.
!!! error TS2322: Signature '(): void' has no corresponding signature in '{ x: number; }'
!!! error TS2322: Type '{ x: number; }' provides no match for the signature '(): void'

8
tests/baselines/reference/qualify.errors.txt
View File

@@ -7,9 +7,9 @@ tests/cases/compiler/qualify.ts(45,13): error TS2322: Type 'I4' is not assignabl
tests/cases/compiler/qualify.ts(46,13): error TS2322: Type 'I4' is not assignable to type 'I3[]'.
Property 'length' is missing in type 'I4'.
tests/cases/compiler/qualify.ts(47,13): error TS2322: Type 'I4' is not assignable to type '() => I3'.
Signature '(): I3' has no corresponding signature in 'I4'
Type 'I4' provides no match for the signature '(): I3'
tests/cases/compiler/qualify.ts(48,13): error TS2322: Type 'I4' is not assignable to type '(k: I3) => void'.
Signature '(k: I3): void' has no corresponding signature in 'I4'
Type 'I4' provides no match for the signature '(k: I3): void'
tests/cases/compiler/qualify.ts(49,13): error TS2322: Type 'I4' is not assignable to type '{ k: I3; }'.
Property 'k' is missing in type 'I4'.
tests/cases/compiler/qualify.ts(58,5): error TS2322: Type 'I' is not assignable to type 'T.I'.
@@ -78,11 +78,11 @@ tests/cases/compiler/qualify.ts(58,5): error TS2322: Type 'I' is not assignable
var v4:()=>K1.I3=v1;
~~
!!! error TS2322: Type 'I4' is not assignable to type '() => I3'.
!!! error TS2322: Signature '(): I3' has no corresponding signature in 'I4'
!!! error TS2322: Type 'I4' provides no match for the signature '(): I3'
var v5:(k:K1.I3)=>void=v1;
~~
!!! error TS2322: Type 'I4' is not assignable to type '(k: I3) => void'.
!!! error TS2322: Signature '(k: I3): void' has no corresponding signature in 'I4'
!!! error TS2322: Type 'I4' provides no match for the signature '(k: I3): void'
var v6:{k:K1.I3;}=v1;
~~
!!! error TS2322: Type 'I4' is not assignable to type '{ k: I3; }'.

20
tests/baselines/reference/recursiveFunctionTypes.errors.txt
View File

@@ -1,5 +1,5 @@
tests/cases/compiler/recursiveFunctionTypes.ts(1,35): error TS2322: Type 'number' is not assignable to type '() => typeof fn'.
Signature '(): () => typeof fn' has no corresponding signature in 'Number'
Type 'Number' provides no match for the signature '(): () => typeof fn'
tests/cases/compiler/recursiveFunctionTypes.ts(3,5): error TS2322: Type '() => typeof fn' is not assignable to type 'number'.
tests/cases/compiler/recursiveFunctionTypes.ts(4,5): error TS2322: Type '() => typeof fn' is not assignable to type '() => number'.
Type '() => typeof fn' is not assignable to type 'number'.
@@ -7,23 +7,23 @@ tests/cases/compiler/recursiveFunctionTypes.ts(11,16): error TS2355: A function
tests/cases/compiler/recursiveFunctionTypes.ts(12,16): error TS2355: A function whose declared type is neither 'void' nor 'any' must return a value.
tests/cases/compiler/recursiveFunctionTypes.ts(17,5): error TS2322: Type '() => I<typeof f3>' is not assignable to type 'number'.
tests/cases/compiler/recursiveFunctionTypes.ts(22,5): error TS2345: Argument of type 'number' is not assignable to parameter of type '(t: typeof g) => void'.
Signature '(t: (t: typeof g) => void): void' has no corresponding signature in 'Number'
Type 'Number' provides no match for the signature '(t: (t: typeof g) => void): void'
tests/cases/compiler/recursiveFunctionTypes.ts(25,1): error TS2322: Type 'number' is not assignable to type '() => any'.
Signature '(): () => any' has no corresponding signature in 'Number'
Type 'Number' provides no match for the signature '(): () => any'
tests/cases/compiler/recursiveFunctionTypes.ts(30,10): error TS2394: Overload signature is not compatible with function implementation.
tests/cases/compiler/recursiveFunctionTypes.ts(33,1): error TS2346: Supplied parameters do not match any signature of call target.
tests/cases/compiler/recursiveFunctionTypes.ts(34,4): error TS2345: Argument of type 'string' is not assignable to parameter of type '{ (): typeof f6; (a: typeof f6): () => number; }'.
Signature '(): { (): typeof f6; (a: typeof f6): () => number; }' has no corresponding signature in 'String'
Type 'String' provides no match for the signature '(): { (): typeof f6; (a: typeof f6): () => number; }'
tests/cases/compiler/recursiveFunctionTypes.ts(42,1): error TS2346: Supplied parameters do not match any signature of call target.
tests/cases/compiler/recursiveFunctionTypes.ts(43,4): error TS2345: Argument of type 'string' is not assignable to parameter of type '{ (): typeof f7; (a: typeof f7): () => number; (a: number): number; (a?: typeof f7): typeof f7; }'.
Signature '(): { (): typeof f7; (a: typeof f7): () => number; (a: number): number; (a?: typeof f7): typeof f7; }' has no corresponding signature in 'String'
Type 'String' provides no match for the signature '(): { (): typeof f7; (a: typeof f7): () => number; (a: number): number; (a?: typeof f7): typeof f7; }'
==== tests/cases/compiler/recursiveFunctionTypes.ts (13 errors) ====
function fn(): typeof fn { return 1; }
~
!!! error TS2322: Type 'number' is not assignable to type '() => typeof fn'.
!!! error TS2322: Signature '(): () => typeof fn' has no corresponding signature in 'Number'
!!! error TS2322: Type 'Number' provides no match for the signature '(): () => typeof fn'
var x: number = fn; // error
~
@@ -58,13 +58,13 @@ tests/cases/compiler/recursiveFunctionTypes.ts(43,4): error TS2345: Argument of
C.g(3); // error
~
!!! error TS2345: Argument of type 'number' is not assignable to parameter of type '(t: typeof g) => void'.
!!! error TS2345: Signature '(t: (t: typeof g) => void): void' has no corresponding signature in 'Number'
!!! error TS2345: Type 'Number' provides no match for the signature '(t: (t: typeof g) => void): void'
var f4: () => typeof f4;
f4 = 3; // error
~~
!!! error TS2322: Type 'number' is not assignable to type '() => any'.
!!! error TS2322: Signature '(): () => any' has no corresponding signature in 'Number'
!!! error TS2322: Type 'Number' provides no match for the signature '(): () => any'
function f5() { return f5; }
@@ -80,7 +80,7 @@ tests/cases/compiler/recursiveFunctionTypes.ts(43,4): error TS2345: Argument of
f6(""); // ok (function takes an any param)
~~
!!! error TS2345: Argument of type 'string' is not assignable to parameter of type '{ (): typeof f6; (a: typeof f6): () => number; }'.
!!! error TS2345: Signature '(): { (): typeof f6; (a: typeof f6): () => number; }' has no corresponding signature in 'String'
!!! error TS2345: Type 'String' provides no match for the signature '(): { (): typeof f6; (a: typeof f6): () => number; }'
f6(); // ok
declare function f7(): typeof f7;
@@ -94,5 +94,5 @@ tests/cases/compiler/recursiveFunctionTypes.ts(43,4): error TS2345: Argument of
f7(""); // ok (function takes an any param)
~~
!!! error TS2345: Argument of type 'string' is not assignable to parameter of type '{ (): typeof f7; (a: typeof f7): () => number; (a: number): number; (a?: typeof f7): typeof f7; }'.
!!! error TS2345: Signature '(): { (): typeof f7; (a: typeof f7): () => number; (a: number): number; (a?: typeof f7): typeof f7; }' has no corresponding signature in 'String'
!!! error TS2345: Type 'String' provides no match for the signature '(): { (): typeof f7; (a: typeof f7): () => number; (a: number): number; (a?: typeof f7): typeof f7; }'
f7(); // ok

4
tests/baselines/reference/targetTypeVoidFunc.errors.txt
View File

@@ -1,5 +1,5 @@
tests/cases/compiler/targetTypeVoidFunc.ts(2,12): error TS2322: Type '() => void' is not assignable to type 'new () => number'.
Signature 'new (): number' has no corresponding signature in '() => void'
Type '() => void' provides no match for the signature 'new (): number'
==== tests/cases/compiler/targetTypeVoidFunc.ts (1 errors) ====
@@ -7,7 +7,7 @@ tests/cases/compiler/targetTypeVoidFunc.ts(2,12): error TS2322: Type '() => void
return function () { return; }
~~~~~~~~
!!! error TS2322: Type '() => void' is not assignable to type 'new () => number'.
!!! error TS2322: Signature 'new (): number' has no corresponding signature in '() => void'
!!! error TS2322: Type '() => void' provides no match for the signature 'new (): number'
};
var x = f1();

8
tests/baselines/reference/typeName1.errors.txt
View File

@@ -3,7 +3,7 @@ tests/cases/compiler/typeName1.ts(9,5): error TS2322: Type 'number' is not assig
tests/cases/compiler/typeName1.ts(10,5): error TS2322: Type 'number' is not assignable to type '{ f(s: string): number; }'.
Property 'f' is missing in type 'Number'.
tests/cases/compiler/typeName1.ts(11,5): error TS2322: Type 'number' is not assignable to type '{ (s: string): number; (n: number): string; }'.
Signature '(s: string): number' has no corresponding signature in 'Number'
Type 'Number' provides no match for the signature '(s: string): number'
tests/cases/compiler/typeName1.ts(12,5): error TS2322: Type 'number' is not assignable to type '{ x: any; y: any; z: number; f(n: number): string; f(s: string): number; }'.
Property 'x' is missing in type 'Number'.
tests/cases/compiler/typeName1.ts(13,5): error TS2322: Type 'number' is not assignable to type '{ (s: string): number; (n: number): string; x: any; y: any; z: number; f(n: number): string; f(s: string): number; }'.
@@ -11,7 +11,7 @@ tests/cases/compiler/typeName1.ts(13,5): error TS2322: Type 'number' is not assi
tests/cases/compiler/typeName1.ts(14,5): error TS2322: Type 'number' is not assignable to type '{ z: number; f: { (n: number): string; (s: string): number; }; }'.
Property 'z' is missing in type 'Number'.
tests/cases/compiler/typeName1.ts(15,5): error TS2322: Type 'number' is not assignable to type '(s: string) => boolean'.
Signature '(s: string): boolean' has no corresponding signature in 'Number'
Type 'Number' provides no match for the signature '(s: string): boolean'
tests/cases/compiler/typeName1.ts(16,5): error TS2322: Type 'number' is not assignable to type '{ (): boolean; [s: string]: { x: any; y: any; }; [n: number]: { x: any; y: any; }; z: I; }'.
Property 'z' is missing in type 'Number'.
tests/cases/compiler/typeName1.ts(16,10): error TS2411: Property 'z' of type 'I' is not assignable to string index type '{ x: any; y: any; }'.
@@ -51,7 +51,7 @@ tests/cases/compiler/typeName1.ts(23,5): error TS2322: Type 'typeof C' is not as
var x3:{ (s:string):number;(n:number):string; }=3;
~~
!!! error TS2322: Type 'number' is not assignable to type '{ (s: string): number; (n: number): string; }'.
!!! error TS2322: Signature '(s: string): number' has no corresponding signature in 'Number'
!!! error TS2322: Type 'Number' provides no match for the signature '(s: string): number'
var x4:{ x;y;z:number;f(n:number):string;f(s:string):number; }=3;
~~
!!! error TS2322: Type 'number' is not assignable to type '{ x: any; y: any; z: number; f(n: number): string; f(s: string): number; }'.
@@ -67,7 +67,7 @@ tests/cases/compiler/typeName1.ts(23,5): error TS2322: Type 'typeof C' is not as
var x7:(s:string)=>boolean=3;
~~
!!! error TS2322: Type 'number' is not assignable to type '(s: string) => boolean'.
!!! error TS2322: Signature '(s: string): boolean' has no corresponding signature in 'Number'
!!! error TS2322: Type 'Number' provides no match for the signature '(s: string): boolean'
var x8:{ z:I;[s:string]:{ x; y; };[n:number]:{x; y;};():boolean; }=3;
~~
!!! error TS2322: Type 'number' is not assignable to type '{ (): boolean; [s: string]: { x: any; y: any; }; [n: number]: { x: any; y: any; }; z: I; }'.

4
tests/baselines/reference/typesWithPrivateConstructor.errors.txt
View File

@@ -1,6 +1,6 @@
tests/cases/conformance/types/members/typesWithPrivateConstructor.ts(4,5): error TS1089: 'private' modifier cannot appear on a constructor declaration.
tests/cases/conformance/types/members/typesWithPrivateConstructor.ts(8,5): error TS2322: Type 'Function' is not assignable to type '() => void'.
Signature '(): void' has no corresponding signature in 'Function'
Type 'Function' provides no match for the signature '(): void'
tests/cases/conformance/types/members/typesWithPrivateConstructor.ts(11,5): error TS1089: 'private' modifier cannot appear on a constructor declaration.
tests/cases/conformance/types/members/typesWithPrivateConstructor.ts(12,5): error TS1089: 'private' modifier cannot appear on a constructor declaration.
tests/cases/conformance/types/members/typesWithPrivateConstructor.ts(15,10): error TS2346: Supplied parameters do not match any signature of call target.
@@ -19,7 +19,7 @@ tests/cases/conformance/types/members/typesWithPrivateConstructor.ts(15,10): err
var r: () => void = c.constructor;
~
!!! error TS2322: Type 'Function' is not assignable to type '() => void'.
!!! error TS2322: Signature '(): void' has no corresponding signature in 'Function'
!!! error TS2322: Type 'Function' provides no match for the signature '(): void'
class C2 {
private constructor(x: number);

4
tests/baselines/reference/typesWithPublicConstructor.errors.txt
View File

@@ -1,5 +1,5 @@
tests/cases/conformance/types/members/typesWithPublicConstructor.ts(8,5): error TS2322: Type 'Function' is not assignable to type '() => void'.
Signature '(): void' has no corresponding signature in 'Function'
Type 'Function' provides no match for the signature '(): void'
tests/cases/conformance/types/members/typesWithPublicConstructor.ts(15,10): error TS2346: Supplied parameters do not match any signature of call target.
@@ -14,7 +14,7 @@ tests/cases/conformance/types/members/typesWithPublicConstructor.ts(15,10): erro
var r: () => void = c.constructor;
~
!!! error TS2322: Type 'Function' is not assignable to type '() => void'.
!!! error TS2322: Signature '(): void' has no corresponding signature in 'Function'
!!! error TS2322: Type 'Function' provides no match for the signature '(): void'
class C2 {
public constructor(x: number);