Accept new baselines

This commit is contained in:
Anders Hejlsberg
2018-07-12 07:07:23 -10:00
parent 55180f7725
commit e88f63295b
8 changed files with 210 additions and 0 deletions

View File

@@ -0,0 +1,18 @@
tests/cases/conformance/types/rest/genericRestArity.ts(7,1): error TS2554: Expected 3 arguments, but got 1.
tests/cases/conformance/types/rest/genericRestArity.ts(8,1): error TS2554: Expected 3 arguments, but got 8.
==== tests/cases/conformance/types/rest/genericRestArity.ts (2 errors) ====
// Repro from #25559
declare function call<TS extends unknown[]>(
handler: (...args: TS) => void,
...args: TS): void;
call((x: number, y: number) => x + y);
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
!!! error TS2554: Expected 3 arguments, but got 1.
call((x: number, y: number) => x + y, 1, 2, 3, 4, 5, 6, 7);
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
!!! error TS2554: Expected 3 arguments, but got 8.

View File

@@ -0,0 +1,15 @@
//// [genericRestArity.ts]
// Repro from #25559
declare function call<TS extends unknown[]>(
handler: (...args: TS) => void,
...args: TS): void;
call((x: number, y: number) => x + y);
call((x: number, y: number) => x + y, 1, 2, 3, 4, 5, 6, 7);
//// [genericRestArity.js]
// Repro from #25559
call(function (x, y) { return x + y; });
call(function (x, y) { return x + y; }, 1, 2, 3, 4, 5, 6, 7);

View File

@@ -0,0 +1,30 @@
=== tests/cases/conformance/types/rest/genericRestArity.ts ===
// Repro from #25559
declare function call<TS extends unknown[]>(
>call : Symbol(call, Decl(genericRestArity.ts, 0, 0))
>TS : Symbol(TS, Decl(genericRestArity.ts, 2, 22))
handler: (...args: TS) => void,
>handler : Symbol(handler, Decl(genericRestArity.ts, 2, 44))
>args : Symbol(args, Decl(genericRestArity.ts, 3, 14))
>TS : Symbol(TS, Decl(genericRestArity.ts, 2, 22))
...args: TS): void;
>args : Symbol(args, Decl(genericRestArity.ts, 3, 35))
>TS : Symbol(TS, Decl(genericRestArity.ts, 2, 22))
call((x: number, y: number) => x + y);
>call : Symbol(call, Decl(genericRestArity.ts, 0, 0))
>x : Symbol(x, Decl(genericRestArity.ts, 6, 6))
>y : Symbol(y, Decl(genericRestArity.ts, 6, 16))
>x : Symbol(x, Decl(genericRestArity.ts, 6, 6))
>y : Symbol(y, Decl(genericRestArity.ts, 6, 16))
call((x: number, y: number) => x + y, 1, 2, 3, 4, 5, 6, 7);
>call : Symbol(call, Decl(genericRestArity.ts, 0, 0))
>x : Symbol(x, Decl(genericRestArity.ts, 7, 6))
>y : Symbol(y, Decl(genericRestArity.ts, 7, 16))
>x : Symbol(x, Decl(genericRestArity.ts, 7, 6))
>y : Symbol(y, Decl(genericRestArity.ts, 7, 16))

View File

@@ -0,0 +1,43 @@
=== tests/cases/conformance/types/rest/genericRestArity.ts ===
// Repro from #25559
declare function call<TS extends unknown[]>(
>call : <TS extends unknown[]>(handler: (...args: TS) => void, ...args: TS) => void
>TS : TS
handler: (...args: TS) => void,
>handler : (...args: TS) => void
>args : TS
>TS : TS
...args: TS): void;
>args : TS
>TS : TS
call((x: number, y: number) => x + y);
>call((x: number, y: number) => x + y) : any
>call : <TS extends unknown[]>(handler: (...args: TS) => void, ...args: TS) => void
>(x: number, y: number) => x + y : (x: number, y: number) => number
>x : number
>y : number
>x + y : number
>x : number
>y : number
call((x: number, y: number) => x + y, 1, 2, 3, 4, 5, 6, 7);
>call((x: number, y: number) => x + y, 1, 2, 3, 4, 5, 6, 7) : any
>call : <TS extends unknown[]>(handler: (...args: TS) => void, ...args: TS) => void
>(x: number, y: number) => x + y : (x: number, y: number) => number
>x : number
>y : number
>x + y : number
>x : number
>y : number
>1 : 1
>2 : 2
>3 : 3
>4 : 4
>5 : 5
>6 : 6
>7 : 7

View File

@@ -0,0 +1,15 @@
tests/cases/conformance/types/rest/genericRestArityStrict.ts(7,6): error TS2345: Argument of type '(x: number, y: number) => number' is not assignable to parameter of type '() => void'.
==== tests/cases/conformance/types/rest/genericRestArityStrict.ts (1 errors) ====
// Repro from #25559
declare function call<TS extends unknown[]>(
handler: (...args: TS) => void,
...args: TS): void;
call((x: number, y: number) => x + y);
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
!!! error TS2345: Argument of type '(x: number, y: number) => number' is not assignable to parameter of type '() => void'.
call((x: number, y: number) => x + y, 1, 2, 3, 4, 5, 6, 7);

View File

@@ -0,0 +1,16 @@
//// [genericRestArityStrict.ts]
// Repro from #25559
declare function call<TS extends unknown[]>(
handler: (...args: TS) => void,
...args: TS): void;
call((x: number, y: number) => x + y);
call((x: number, y: number) => x + y, 1, 2, 3, 4, 5, 6, 7);
//// [genericRestArityStrict.js]
"use strict";
// Repro from #25559
call(function (x, y) { return x + y; });
call(function (x, y) { return x + y; }, 1, 2, 3, 4, 5, 6, 7);

View File

@@ -0,0 +1,30 @@
=== tests/cases/conformance/types/rest/genericRestArityStrict.ts ===
// Repro from #25559
declare function call<TS extends unknown[]>(
>call : Symbol(call, Decl(genericRestArityStrict.ts, 0, 0))
>TS : Symbol(TS, Decl(genericRestArityStrict.ts, 2, 22))
handler: (...args: TS) => void,
>handler : Symbol(handler, Decl(genericRestArityStrict.ts, 2, 44))
>args : Symbol(args, Decl(genericRestArityStrict.ts, 3, 14))
>TS : Symbol(TS, Decl(genericRestArityStrict.ts, 2, 22))
...args: TS): void;
>args : Symbol(args, Decl(genericRestArityStrict.ts, 3, 35))
>TS : Symbol(TS, Decl(genericRestArityStrict.ts, 2, 22))
call((x: number, y: number) => x + y);
>call : Symbol(call, Decl(genericRestArityStrict.ts, 0, 0))
>x : Symbol(x, Decl(genericRestArityStrict.ts, 6, 6))
>y : Symbol(y, Decl(genericRestArityStrict.ts, 6, 16))
>x : Symbol(x, Decl(genericRestArityStrict.ts, 6, 6))
>y : Symbol(y, Decl(genericRestArityStrict.ts, 6, 16))
call((x: number, y: number) => x + y, 1, 2, 3, 4, 5, 6, 7);
>call : Symbol(call, Decl(genericRestArityStrict.ts, 0, 0))
>x : Symbol(x, Decl(genericRestArityStrict.ts, 7, 6))
>y : Symbol(y, Decl(genericRestArityStrict.ts, 7, 16))
>x : Symbol(x, Decl(genericRestArityStrict.ts, 7, 6))
>y : Symbol(y, Decl(genericRestArityStrict.ts, 7, 16))

View File

@@ -0,0 +1,43 @@
=== tests/cases/conformance/types/rest/genericRestArityStrict.ts ===
// Repro from #25559
declare function call<TS extends unknown[]>(
>call : <TS extends unknown[]>(handler: (...args: TS) => void, ...args: TS) => void
>TS : TS
handler: (...args: TS) => void,
>handler : (...args: TS) => void
>args : TS
>TS : TS
...args: TS): void;
>args : TS
>TS : TS
call((x: number, y: number) => x + y);
>call((x: number, y: number) => x + y) : any
>call : <TS extends unknown[]>(handler: (...args: TS) => void, ...args: TS) => void
>(x: number, y: number) => x + y : (x: number, y: number) => number
>x : number
>y : number
>x + y : number
>x : number
>y : number
call((x: number, y: number) => x + y, 1, 2, 3, 4, 5, 6, 7);
>call((x: number, y: number) => x + y, 1, 2, 3, 4, 5, 6, 7) : void
>call : <TS extends unknown[]>(handler: (...args: TS) => void, ...args: TS) => void
>(x: number, y: number) => x + y : (x: number, y: number) => number
>x : number
>y : number
>x + y : number
>x : number
>y : number
>1 : 1
>2 : 2
>3 : 3
>4 : 4
>5 : 5
>6 : 6
>7 : 7